Skip to content

Actions: coq/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow run results
185 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Pull Request template Basic checks #42: Commit 8089e1c pushed by proux01
August 15, 2024 10:01 29s master
master
August 15, 2024 10:01 29s
Update Pull Request template Nix CI for bundle coq-master #127: Commit 8089e1c pushed by proux01
August 15, 2024 10:01 1h 28m 37s master
master
August 15, 2024 10:01 1h 28m 37s
Update Pull Request template Nix CI for bundle coq-master #126: Commit ca349b9 pushed by proux01
August 15, 2024 09:15 16m 24s master
master
August 15, 2024 09:15 16m 24s
Update Pull Request template Basic checks #41: Commit ca349b9 pushed by proux01
August 15, 2024 09:15 26s master
master
August 15, 2024 09:15 26s
Update Pull Request template Basic checks #40: Commit 52a39ce pushed by proux01
August 14, 2024 08:13 1m 14s master
master
August 14, 2024 08:13 1m 14s
Update Pull Request template Nix CI for bundle coq-master #125: Commit 52a39ce pushed by proux01
August 14, 2024 08:13 1h 45m 2s master
master
August 14, 2024 08:13 1h 45m 2s
CI less Basic checks #39: Commit 716b52a pushed by proux01
August 14, 2024 07:55 23s master
master
August 14, 2024 07:55 23s
CI less Nix CI for bundle coq-master #124: Commit 716b52a pushed by proux01
August 14, 2024 07:55 8m 41s master
master
August 14, 2024 07:55 8m 41s
CI less Nix CI for bundle coq-master #123: Commit cda76f2 pushed by proux01
August 14, 2024 07:46 6m 54s master
master
August 14, 2024 07:46 6m 54s
CI less Basic checks #38: Commit cda76f2 pushed by proux01
August 14, 2024 07:46 27s master
master
August 14, 2024 07:46 27s
Update Pull Request template Basic checks #37: Commit ab038ca pushed by proux01
August 13, 2024 18:47 24s master
master
August 13, 2024 18:47 24s
Update Pull Request template Nix CI for bundle coq-master #122: Commit ab038ca pushed by proux01
August 13, 2024 18:47 1h 32m 54s master
master
August 13, 2024 18:47 1h 32m 54s
WIP Basic checks #36: Commit 6998ae8 pushed by proux01
August 13, 2024 15:58 27s master
master
August 13, 2024 15:58 27s
WIP Nix CI for bundle coq-master #121: Commit 6998ae8 pushed by proux01
August 13, 2024 15:58 1h 56m 8s master
master
August 13, 2024 15:58 1h 56m 8s
WIP Basic checks #35: Commit 4800427 pushed by proux01
August 13, 2024 14:25 26s master
master
August 13, 2024 14:25 26s
WIP Nix CI for bundle coq-master #120: Commit 4800427 pushed by proux01
August 13, 2024 14:25 1h 12m 12s master
master
August 13, 2024 14:25 1h 12m 12s
WIP Basic checks #34: Commit 18727f2 pushed by proux01
August 13, 2024 14:00 27s master
master
August 13, 2024 14:00 27s
WIP Nix CI for bundle coq-master #119: Commit 18727f2 pushed by proux01
August 13, 2024 14:00 22m 12s master
master
August 13, 2024 14:00 22m 12s
CI less Basic checks #33: Commit 1bff4ac pushed by proux01
August 13, 2024 13:30 28s master
master
August 13, 2024 13:30 28s
CI less Nix CI for bundle coq-master #118: Commit 1bff4ac pushed by proux01
August 13, 2024 13:30 16m 52s master
master
August 13, 2024 13:30 16m 52s
CI less Nix CI for bundle coq-master #117: Commit cb87553 pushed by proux01
August 13, 2024 12:59 3m 20s master
master
August 13, 2024 12:59 3m 20s
CI less Basic checks #32: Commit cb87553 pushed by proux01
August 13, 2024 12:59 24s master
master
August 13, 2024 12:59 24s
CI less Basic checks #31: Commit b9c411f pushed by proux01
August 13, 2024 11:49 25s master
master
August 13, 2024 11:49 25s
CI less Nix CI for bundle coq-master #116: Commit b9c411f pushed by proux01
August 13, 2024 11:49 36m 15s master
master
August 13, 2024 11:49 36m 15s
CI less Nix CI for bundle coq-master #115: Commit b8fe021 pushed by proux01
August 13, 2024 11:15 10m 26s master
master
August 13, 2024 11:15 10m 26s