Skip to content

Actions: coq/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
717 workflow runs
717 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Pull Request template Nix CI for bundle coq-master #192: Commit 204122f pushed by proux01
October 2, 2024 11:32 23m 39s master
master
October 2, 2024 11:32 23m 39s
Clarify structure Nix CI for bundle coq-master #191: Pull request #2 synchronize by proux01
October 2, 2024 11:25 1m 5s clarify-structure
clarify-structure
October 2, 2024 11:25 1m 5s
Clarify structure Basic checks #84: Pull request #2 synchronize by proux01
October 2, 2024 11:25 10s clarify-structure
clarify-structure
October 2, 2024 11:25 10s
Clarify structure Nix CI for bundle coq-master #190: Pull request #2 synchronize by proux01
October 2, 2024 11:25 54s
October 2, 2024 11:25 54s
Update Pull Request template Nix CI for bundle coq-master #189: Commit 86539ec pushed by proux01
October 2, 2024 11:25 6m 35s master
master
October 2, 2024 11:25 6m 35s
Update Pull Request template Nix CI for bundle coq-master #188: Commit 9304194 pushed by proux01
October 2, 2024 11:01 23m 29s master
master
October 2, 2024 11:01 23m 29s
Clarify structure Nix CI for bundle coq-master #187: Pull request #2 synchronize by proux01
September 29, 2024 15:36 2h 0m 39s clarify-structure
clarify-structure
September 29, 2024 15:36 2h 0m 39s
Clarify structure Basic checks #83: Pull request #2 synchronize by proux01
September 29, 2024 15:36 10s clarify-structure
clarify-structure
September 29, 2024 15:36 10s
Clarify structure Nix CI for bundle coq-master #186: Pull request #2 synchronize by proux01
September 29, 2024 15:36 1h 55m 54s
September 29, 2024 15:36 1h 55m 54s
Update Pull Request template Nix CI for bundle coq-master #185: Commit e1ef9dd pushed by proux01
September 29, 2024 13:31 2h 26m 15s master
master
September 29, 2024 13:31 2h 26m 15s
Clarify structure Nix CI for bundle coq-master #184: Pull request #2 synchronize by proux01
September 29, 2024 09:58 1h 52m 51s clarify-structure
clarify-structure
September 29, 2024 09:58 1h 52m 51s
Clarify structure Basic checks #82: Pull request #2 synchronize by proux01
September 29, 2024 09:58 14s clarify-structure
clarify-structure
September 29, 2024 09:58 14s
Clarify structure Nix CI for bundle coq-master #183: Pull request #2 synchronize by proux01
September 29, 2024 09:58 11m 56s
September 29, 2024 09:58 11m 56s
Clarify structure Nix CI for bundle coq-master #182: Pull request #2 opened by proux01
September 29, 2024 08:35 1h 15m 58s clarify-structure
clarify-structure
September 29, 2024 08:35 1h 15m 58s
Clarify structure Basic checks #81: Pull request #2 opened by proux01
September 29, 2024 08:35 10s clarify-structure
clarify-structure
September 29, 2024 08:35 10s
Clarify structure Nix CI for bundle coq-master #181: Pull request #2 opened by proux01
September 29, 2024 08:35 4m 16s
September 29, 2024 08:35 4m 16s
Update Pull Request template Nix CI for bundle coq-master #180: Commit 96943b6 pushed by proux01
September 29, 2024 08:27 4m 28s master
master
September 29, 2024 08:27 4m 28s
[CI] Add a job to check for duplicate files Nix CI for bundle coq-master #179: Commit 7334426 pushed by proux01
September 28, 2024 15:38 1h 45m 13s master_with_structure
master_with_structure
September 28, 2024 15:38 1h 45m 13s
[CI] Add a job to check for duplicate files Nix CI for bundle coq-master #178: Commit 1be10d2 pushed by proux01
September 28, 2024 15:32 6m 31s master_with_structure
master_with_structure
September 28, 2024 15:32 6m 31s
Update Pull Request template Nix CI for bundle coq-master #177: Commit 004c8a7 pushed by proux01
September 28, 2024 10:41 1h 43m 55s master_without_structure
master_without_structure
September 28, 2024 10:41 1h 43m 55s
fixing CI dependencies Nix CI for bundle coq-master #176: Commit 4d7c60c pushed by proux01
September 26, 2024 15:15 1h 49m 3s master_without_structure
master_without_structure
September 26, 2024 15:15 1h 49m 3s
fixing CI dependencies Nix CI for bundle coq-master #175: Commit d9229fd pushed by proux01
September 26, 2024 13:12 1h 47m 58s master_without_structure
master_without_structure
September 26, 2024 13:12 1h 47m 58s
fixing CI dependencies Nix CI for bundle coq-master #174: Commit 8f4ce9b pushed by proux01
September 26, 2024 12:45 8m 16s master_without_structure
master_without_structure
September 26, 2024 12:45 8m 16s
Test dune compilation Nix CI for bundle coq-master #173: Commit 5200069 pushed by proux01
September 25, 2024 14:45 2h 13m 1s squeezing-paths
squeezing-paths
September 25, 2024 14:45 2h 13m 1s
Test dune compilation Nix CI for bundle coq-master #172: Commit c38eabd pushed by proux01
September 25, 2024 14:28 3m 26s squeezing-paths
squeezing-paths
September 25, 2024 14:28 3m 26s
ProTip! You can narrow down the results and go further in time using created:<2024-09-25 or the other filters available.