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 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 Basic checks #16: Commit f9dc5dc pushed by proux01
August 2, 2024 15:52 24s master
master
August 2, 2024 15:52 24s
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
test Basic checks #15: Commit e4ea435 pushed by proux01
August 2, 2024 12:36 6m 30s master
master
August 2, 2024 12:36 6m 30s
test Basic checks #14: Commit acbb924 pushed by proux01
August 2, 2024 12:27 8m 55s master
master
August 2, 2024 12:27 8m 55s
Update Pull Request template Nix CI for bundle coq-master #100: Commit 6910f9a pushed by proux01
August 2, 2024 12:18 53s master
master
August 2, 2024 12:18 53s
Update Pull Request template Basic checks #13: Commit 6910f9a pushed by proux01
August 2, 2024 12:18 17s master
master
August 2, 2024 12:18 17s
Update Pull Request template Basic checks #12: Commit 10d41ce pushed by proux01
August 2, 2024 09:58 14s master
master
August 2, 2024 09:58 14s
Update Pull Request template Nix CI for bundle coq-master #99: Commit 10d41ce pushed by proux01
August 2, 2024 09:58 1h 58m 15s master
master
August 2, 2024 09:58 1h 58m 15s
Update Pull Request template Basic checks #11: Commit e230e95 pushed by proux01
August 2, 2024 09:43 12s master
master
August 2, 2024 09:43 12s
Update Pull Request template Nix CI for bundle coq-master #98: Commit e230e95 pushed by proux01
August 2, 2024 09:43 11m 24s master
master
August 2, 2024 09:43 11m 24s
Update Pull Request template Nix CI for bundle coq-master #97: Commit 592d207 pushed by proux01
August 2, 2024 09:37 6m 3s master
master
August 2, 2024 09:37 6m 3s
Update Pull Request template Basic checks #10: Commit 592d207 pushed by proux01
August 2, 2024 09:37 12s master
master
August 2, 2024 09:37 12s
Update Pull Request template Nix CI for bundle coq-master #96: Commit b41f689 pushed by proux01
August 2, 2024 08:56 41m 0s master
master
August 2, 2024 08:56 41m 0s
Update Pull Request template Basic checks #9: Commit b41f689 pushed by proux01
August 2, 2024 08:56 15s master
master
August 2, 2024 08:56 15s
Update Pull Request template Basic checks #8: Commit 075091f pushed by proux01
August 2, 2024 07:47 13s master
master
August 2, 2024 07:47 13s
Update Pull Request template Nix CI for bundle coq-master #95: Commit 075091f pushed by proux01
August 2, 2024 07:47 48s master
master
August 2, 2024 07:47 48s
[CI] Add a job to check for duplicate files Nix CI for bundle coq-master #94: Commit 7b05e5a pushed by proux01
July 31, 2024 14:00 1h 49m 24s master
master
July 31, 2024 14:00 1h 49m 24s
[CI] Add a job to check for duplicate files Basic checks #7: Commit 7b05e5a pushed by proux01
July 31, 2024 14:00 11s master
master
July 31, 2024 14:00 11s
[CI] Add a job to check for duplicate files Basic checks #6: Commit fd9add4 pushed by proux01
July 31, 2024 12:34 11s master
master
July 31, 2024 12:34 11s
[CI] Add a job to check for duplicate files Nix CI for bundle coq-master #93: Commit fd9add4 pushed by proux01
July 31, 2024 12:34 1h 20m 8s master
master
July 31, 2024 12:34 1h 20m 8s
[CI] Add a job to check for duplicate files Nix CI for bundle coq-master #92: Commit f2fa14d pushed by proux01
July 31, 2024 11:24 1h 9m 55s master
master
July 31, 2024 11:24 1h 9m 55s
[CI] Add a job to check for duplicate files Basic checks #5: Commit f2fa14d pushed by proux01
July 31, 2024 11:24 13s master
master
July 31, 2024 11:24 13s
[CI] Add a job to check for duplicate files Nix CI for bundle coq-master #91: Commit 350678e pushed by proux01
July 31, 2024 09:40 5m 17s master
master
July 31, 2024 09:40 5m 17s