Skip to content

Actions: FilippoFantinato/simple-synthetiser

Actions

Build Main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-main.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated main ci Build Main #4: Commit 1833219 pushed by FilippoFantinato
April 3, 2024 23:26 1m 38s main
main
April 3, 2024 23:26 1m 38s
Updated co-safety solver Build Main #3: Commit b0a81b0 pushed by FilippoFantinato
April 2, 2024 19:52 1m 14s main
main
April 2, 2024 19:52 1m 14s