Skip to content

Actions: NUS-Math-Formalization/CalculusSkeleton

Actions

Build non-main branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_non_main.yml
1 workflow run
1 workflow run

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Build non-main branch Build non-main branch #70: Commit 6c5e130 pushed by jiajunma
2m 15s L02_sin_fix
L02_sin_fix
2m 15s