Skip to content

Actions: upamanyus/goose

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Injective goPathToCoqPath CI #27: Commit 48da455 pushed by upamanyus
March 28, 2024 17:09 1m 10s master
master
March 28, 2024 17:09 1m 10s
Remove some special casing for imports CI #26: Commit 7cbaef3 pushed by upamanyus
March 28, 2024 04:59 31s master
master
March 28, 2024 04:59 31s
Minor cleanup/renaming CI #25: Commit 008eb1d pushed by upamanyus
March 27, 2024 19:27 1m 2s master
master
March 27, 2024 19:27 1m 2s
Update deps CI #24: Commit 07ddc77 pushed by upamanyus
March 27, 2024 19:24 37s master
master
March 27, 2024 19:24 37s