Skip to content

Actions: math-comp/hierarchy-builder

Actions

Nix CI for bundle coq-master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-master.yml
289 workflow runs
289 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #384 from proux01/drop_coq_815 Nix CI for bundle coq-master #21: Commit a869fed pushed by CohenCyril
September 7, 2023 11:02 14m 20s master
master
September 7, 2023 11:02 14m 20s
Drop support for Coq 8.15 Nix CI for bundle coq-master #20: Pull request #384 opened by proux01
September 6, 2023 16:27 10m 57s proux01:drop_coq_815
proux01:drop_coq_815
September 6, 2023 16:27 10m 57s
Drop support for Coq 8.15 Nix CI for bundle coq-master #19: Pull request #384 opened by proux01
September 6, 2023 16:27 11m 6s
September 6, 2023 16:27 11m 6s
Merge pull request #380 from proux01/perf_compress_coercion Nix CI for bundle coq-master #18: Commit 4c7c83d pushed by gares
September 6, 2023 15:46 9m 44s master
master
September 6, 2023 15:46 9m 44s
A few performance improvements Nix CI for bundle coq-master #17: Pull request #380 synchronize by proux01
September 6, 2023 15:01 9m 8s
September 6, 2023 15:01 9m 8s
Merge pull request #383 from proux01/coq_master_ci Nix CI for bundle coq-master #16: Commit a23b4fc pushed by gares
September 6, 2023 14:46 9m 26s master
master
September 6, 2023 14:46 9m 26s
[CI] Add Coq master and Coq 8.18 to master branch Nix CI for bundle coq-master #15: Pull request #383 synchronize by proux01
September 6, 2023 13:35 11m 41s proux01:coq_master_ci
proux01:coq_master_ci
September 6, 2023 13:35 11m 41s
[CI] Add Coq master and Coq 8.18 to master branch Nix CI for bundle coq-master #14: Pull request #383 synchronize by proux01
September 5, 2023 08:26 24m 0s proux01:coq_master_ci
proux01:coq_master_ci
September 5, 2023 08:26 24m 0s
[CI] Add Coq master and Coq 8.18 to master branch Nix CI for bundle coq-master #13: Pull request #383 opened by proux01
September 4, 2023 14:48 32m 2s proux01:coq_master_ci
proux01:coq_master_ci
September 4, 2023 14:48 32m 2s
Coq master merge Nix CI for bundle coq-master #12: Pull request #381 opened by proux01
August 29, 2023 11:18 1h 19m 56s
August 29, 2023 11:18 1h 19m 56s
Revert "Fixing mathcomp after coq/coq#17484" Nix CI for bundle coq-master #11: Pull request #374 opened by proux01
July 15, 2023 15:47 2h 2m 56s
July 15, 2023 15:47 2h 2m 56s
Fixing mathcomp after coq/coq#17484 Nix CI for bundle coq-master #10: Pull request #372 opened by proux01
June 29, 2023 14:44 1h 31m 13s
June 29, 2023 14:44 1h 31m 13s
Fix Coq CI Nix CI for bundle coq-master #9: Pull request #369 synchronize by proux01
June 19, 2023 13:26 5h 50m 15s proux01:fix_coq_ci
proux01:fix_coq_ci
June 19, 2023 13:26 5h 50m 15s
Fix Coq CI Nix CI for bundle coq-master #8: Pull request #369 synchronize by proux01
June 19, 2023 13:04 7m 19s proux01:fix_coq_ci
proux01:fix_coq_ci
June 19, 2023 13:04 7m 19s
ProTip! You can narrow down the results and go further in time using created:<2023-06-19 or the other filters available.