Merge pull request #2101 from zqianem/gh-443/menu-border #1420

Sign in to view logs

Triggered via push June 19, 2023 20:21

ehuss

master

Status Success

Total duration 8m 33s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: push

Matrix: Test