Skip to content

Actions: coq/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
706 workflow runs
706 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI less Basic checks #28: Commit 6086b2f pushed by proux01
August 13, 2024 08:15 25s master
master
August 13, 2024 08:15 25s
WIP Nix CI for bundle coq-master #112: Commit ef3915f pushed by proux01
August 13, 2024 07:26 39m 40s master
master
August 13, 2024 07:26 39m 40s
WIP Basic checks #27: Commit ef3915f pushed by proux01
August 13, 2024 07:26 24s master
master
August 13, 2024 07:26 24s
WIP Basic checks #26: Commit 1384b07 pushed by proux01
August 12, 2024 18:09 26s master
master
August 12, 2024 18:09 26s
WIP Nix CI for bundle coq-master #111: Commit 1384b07 pushed by proux01
August 12, 2024 18:09 1h 1m 18s master
master
August 12, 2024 18:09 1h 1m 18s
WIP Nix CI for bundle coq-master #110: Commit 41f9350 pushed by proux01
August 12, 2024 15:19 1h 3m 25s master
master
August 12, 2024 15:19 1h 3m 25s
WIP Basic checks #25: Commit 41f9350 pushed by proux01
August 12, 2024 15:19 23s master
master
August 12, 2024 15:19 23s
WIP Nix CI for bundle coq-master #109: Commit 0dae74b pushed by proux01
August 12, 2024 13:43 23m 17s master
master
August 12, 2024 13:43 23m 17s
WIP Basic checks #24: Commit 0dae74b pushed by proux01
August 12, 2024 13:43 26s master
master
August 12, 2024 13:43 26s
WIP Basic checks #23: Commit 9196185 pushed by proux01
August 12, 2024 12:11 25s master
master
August 12, 2024 12:11 25s
WIP Nix CI for bundle coq-master #108: Commit 9196185 pushed by proux01
August 12, 2024 12:11 16m 20s master
master
August 12, 2024 12:11 16m 20s
WIP Nix CI for bundle coq-master #107: Commit dad5926 pushed by proux01
August 12, 2024 11:41 9m 21s master
master
August 12, 2024 11:41 9m 21s
WIP Basic checks #22: Commit dad5926 pushed by proux01
August 12, 2024 11:41 24s master
master
August 12, 2024 11:41 24s
WIP Basic checks #21: Commit 1b39ba0 pushed by proux01
August 12, 2024 10:09 26s master
master
August 12, 2024 10:09 26s
WIP Nix CI for bundle coq-master #106: Commit 1b39ba0 pushed by proux01
August 12, 2024 10:09 6m 7s master
master
August 12, 2024 10:09 6m 7s
Test without overlays Basic checks #20: Commit 505ed6b pushed by proux01
August 12, 2024 09:13 26s master
master
August 12, 2024 09:13 26s
Test without overlays Nix CI for bundle coq-master #105: Commit 505ed6b pushed by proux01
August 12, 2024 09:13 14m 2s master
master
August 12, 2024 09:13 14m 2s
Test without overlays Nix CI for bundle coq-master #104: Commit 485f76a pushed by proux01
August 12, 2024 08:04 1m 44s master
master
August 12, 2024 08:04 1m 44s
Test without overlays Basic checks #19: Commit 485f76a pushed by proux01
August 12, 2024 08:04 25s master
master
August 12, 2024 08:04 25s
Update Pull Request template Nix CI for bundle coq-master #103: Commit b74fb4d pushed by proux01
August 4, 2024 19:13 1h 57m 32s master
master
August 4, 2024 19:13 1h 57m 32s
Update Pull Request template Basic checks #18: Commit b74fb4d pushed by proux01
August 4, 2024 19:13 26s master
master
August 4, 2024 19:13 26s
Update Pull Request template Nix CI for bundle coq-master #102: Commit 6cdbeaa pushed by proux01
August 4, 2024 15:16 1h 38m 34s master
master
August 4, 2024 15:16 1h 38m 34s
Update Pull Request template Basic checks #17: Commit 6cdbeaa pushed by proux01
August 4, 2024 15:16 26s master
master
August 4, 2024 15:16 26s
Update Pull Request template Nix CI for bundle coq-master #101: Commit f9dc5dc pushed by proux01
August 2, 2024 15:52 1h 12m 12s master
master
August 2, 2024 15:52 1h 12m 12s
Update Pull Request template Basic checks #16: Commit f9dc5dc pushed by proux01
August 2, 2024 15:52 24s master
master
August 2, 2024 15:52 24s
ProTip! You can narrow down the results and go further in time using created:<2024-08-02 or the other filters available.