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
284 workflow runs
284 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactoring of the category theory example + removing plan B Nix CI for bundle coq-master #41: Pull request #389 synchronize by CohenCyril
September 27, 2023 09:19 9m 52s
September 27, 2023 09:19 9m 52s
[refactor] instance declaration Nix CI for bundle coq-master #40: Pull request #376 synchronize by gares
September 26, 2023 14:04 1m 8s
September 26, 2023 14:04 1m 8s
[refactor] instance declaration Nix CI for bundle coq-master #39: Pull request #376 synchronize by gares
September 26, 2023 13:06 1m 8s
September 26, 2023 13:06 1m 8s
[refactor] instance declaration Nix CI for bundle coq-master #38: Pull request #376 synchronize by gares
September 25, 2023 14:28 8m 57s
September 25, 2023 14:28 8m 57s
[refactor] instance declaration Nix CI for bundle coq-master #37: Pull request #376 synchronize by gares
September 25, 2023 13:07 57s
September 25, 2023 13:07 57s
Remove #[infer] attribute Nix CI for bundle coq-master #36: Pull request #385 synchronize by proux01
September 25, 2023 07:21 3h 1m 9s proux01:rm_infer
proux01:rm_infer
September 25, 2023 07:21 3h 1m 9s
Remove #[infer] attribute Nix CI for bundle coq-master #35: Pull request #385 synchronize by proux01
September 25, 2023 07:21 21m 57s
September 25, 2023 07:21 21m 57s
Refactoring of the category theory example + removing plan B Nix CI for bundle coq-master #34: Pull request #389 synchronize by CohenCyril
September 21, 2023 12:06 14m 33s cat-new
cat-new
September 21, 2023 12:06 14m 33s
Refactoring of the category theory example + removing plan B Nix CI for bundle coq-master #33: Pull request #389 synchronize by CohenCyril
September 21, 2023 12:06 14m 21s
September 21, 2023 12:06 14m 21s
Refactoring of the category theory example + removing plan B Nix CI for bundle coq-master #32: Pull request #389 synchronize by CohenCyril
September 21, 2023 12:05 15m 9s
September 21, 2023 12:05 15m 9s
Refactoring of the category theory example + removing plan B Nix CI for bundle coq-master #31: Pull request #389 opened by CohenCyril
September 21, 2023 11:43 13m 18s
September 21, 2023 11:43 13m 18s
Merge pull request #388 from math-comp/close-changelog-1.6.0 Nix CI for bundle coq-master #30: Commit 3b478ca pushed by gares
September 20, 2023 14:10 9m 10s master
master
September 20, 2023 14:10 9m 10s
prepare release Nix CI for bundle coq-master #29: Pull request #388 synchronize by gares
September 20, 2023 13:55 10m 17s close-changelog-1.6.0
close-changelog-1.6.0
September 20, 2023 13:55 10m 17s
prepare release Nix CI for bundle coq-master #28: Pull request #388 synchronize by gares
September 20, 2023 13:55 13m 28s
September 20, 2023 13:55 13m 28s
prepare release Nix CI for bundle coq-master #27: Pull request #388 opened by gares
September 20, 2023 09:23 11m 55s
September 20, 2023 09:23 11m 55s
Merge pull request #379 from math-comp/fix-ci Nix CI for bundle coq-master #26: Commit 961aaba pushed by gares
September 20, 2023 09:23 12m 5s master
master
September 20, 2023 09:23 12m 5s
enable CI on 8.18 Nix CI for bundle coq-master #25: Pull request #379 synchronize by gares
September 20, 2023 09:11 10m 50s fix-ci
fix-ci
September 20, 2023 09:11 10m 50s
enable CI on 8.18 Nix CI for bundle coq-master #24: Pull request #379 synchronize by gares
September 20, 2023 09:11 9m 58s
September 20, 2023 09:11 9m 58s
Remove #[infer] attribute Nix CI for bundle coq-master #23: Pull request #385 synchronize by proux01
September 18, 2023 14:52 3m 21s
September 18, 2023 14:52 3m 21s
Remove #[infer] attribute Nix CI for bundle coq-master #22: Pull request #385 opened by proux01
September 13, 2023 14:06 9m 8s
September 13, 2023 14:06 9m 8s
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
ProTip! You can narrow down the results and go further in time using created:<2023-09-06 or the other filters available.