Skip to content

Actions: coq/stdlib-test

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
339 workflow runs
339 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Test dune compilation Nix CI for bundle coq-master #171: Commit cb74483 pushed by proux01
September 25, 2024 14:03 2m 3s squeezing-paths
squeezing-paths
September 25, 2024 14:03 2m 3s
Merge paths Nix CI for bundle coq-master #170: Commit d2675ed pushed by proux01
September 24, 2024 18:49 2h 18m 31s squeezing-paths
squeezing-paths
September 24, 2024 18:49 2h 18m 31s
Merge paths Nix CI for bundle coq-master #169: Commit 23abf6e pushed by proux01
September 24, 2024 15:01 2h 16m 40s squeezing-paths
squeezing-paths
September 24, 2024 15:01 2h 16m 40s