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

[CI] Add Coq 8.19 Nix CI for bundle coq-master #196: Pull request #409 synchronize by proux01
January 3, 2024 11:50 33m 35s
January 3, 2024 11:50 33m 35s
[CI] Add Coq 8.19 Nix CI for bundle coq-master #195: Pull request #409 synchronize by proux01
January 3, 2024 11:10 35m 25s proux01:ci_coq819
proux01:ci_coq819
January 3, 2024 11:10 35m 25s
[CI] Add Coq 8.19 Nix CI for bundle coq-master #194: Pull request #409 synchronize by proux01
January 3, 2024 11:10 35m 53s
January 3, 2024 11:10 35m 53s
[CI] Add Coq 8.19 Nix CI for bundle coq-master #193: Pull request #409 opened by proux01
January 3, 2024 10:42 5m 37s proux01:ci_coq819
proux01:ci_coq819
January 3, 2024 10:42 5m 37s
[CI] Add Coq 8.19 Nix CI for bundle coq-master #192: Pull request #409 opened by proux01
January 3, 2024 10:42 5m 42s
January 3, 2024 10:42 5m 42s
Merge pull request #406 from math-comp/coq-elpi-2 Nix CI for bundle coq-master #191: Commit 5978ba7 pushed by gares
December 29, 2023 13:57 5m 57s master
master
December 29, 2023 13:57 5m 57s
[refactor] instance declaration Nix CI for bundle coq-master #190: Pull request #376 synchronize by ptorrx
December 22, 2023 14:28 2m 48s
December 22, 2023 14:28 2m 48s
[refactor] instance declaration Nix CI for bundle coq-master #189: Pull request #376 synchronize by ptorrx
December 21, 2023 20:22 8m 10s
December 21, 2023 20:22 8m 10s
[refactor] instance declaration Nix CI for bundle coq-master #188: Pull request #376 synchronize by ptorrx
December 19, 2023 17:17 2m 45s
December 19, 2023 17:17 2m 45s
[refactor] instance declaration Nix CI for bundle coq-master #187: Pull request #376 synchronize by ptorrx
December 19, 2023 16:54 8m 32s
December 19, 2023 16:54 8m 32s
[refactor] instance declaration Nix CI for bundle coq-master #186: Pull request #376 synchronize by ptorrx
December 18, 2023 18:28 2m 51s
December 18, 2023 18:28 2m 51s
[refactor] instance declaration Nix CI for bundle coq-master #185: Pull request #376 synchronize by ptorrx
December 18, 2023 17:13 8m 13s
December 18, 2023 17:13 8m 13s
[refactor] instance declaration Nix CI for bundle coq-master #184: Pull request #376 synchronize by ptorrx
December 15, 2023 18:55 7m 55s
December 15, 2023 18:55 7m 55s
[refactor] instance declaration Nix CI for bundle coq-master #183: Pull request #376 synchronize by ptorrx
December 14, 2023 18:46 2m 49s
December 14, 2023 18:46 2m 49s
[refactor] instance declaration Nix CI for bundle coq-master #182: Pull request #376 synchronize by ptorrx
December 13, 2023 16:27 1h 9m 16s
December 13, 2023 16:27 1h 9m 16s
[refactor] instance declaration Nix CI for bundle coq-master #181: Pull request #376 synchronize by ptorrx
December 12, 2023 15:18 2m 43s
December 12, 2023 15:18 2m 43s
[refactor] instance declaration Nix CI for bundle coq-master #180: Pull request #376 synchronize by ptorrx
December 8, 2023 16:59 3m 42s
December 8, 2023 16:59 3m 42s
[refactor] instance declaration Nix CI for bundle coq-master #179: Pull request #376 synchronize by ptorrx
December 8, 2023 10:24 2m 35s
December 8, 2023 10:24 2m 35s
[refactor] instance declaration Nix CI for bundle coq-master #178: Pull request #376 synchronize by ptorrx
December 7, 2023 17:41 2m 34s
December 7, 2023 17:41 2m 34s
separate synterp phase Nix CI for bundle coq-master #177: Pull request #406 synchronize by gares
December 5, 2023 13:27 2m 30s
December 5, 2023 13:27 2m 30s
separate synterp phase Nix CI for bundle coq-master #176: Pull request #406 synchronize by gares
December 5, 2023 13:18 2m 27s
December 5, 2023 13:18 2m 27s
separate synterp phase Nix CI for bundle coq-master #175: Pull request #406 synchronize by gares
December 5, 2023 13:05 2m 31s
December 5, 2023 13:05 2m 31s
separate synterp phase Nix CI for bundle coq-master #174: Pull request #406 synchronize by gares
December 5, 2023 13:03 2m 41s
December 5, 2023 13:03 2m 41s
separate synterp phase Nix CI for bundle coq-master #173: Pull request #406 synchronize by gares
December 5, 2023 12:58 2m 41s
December 5, 2023 12:58 2m 41s
separate synterp phase Nix CI for bundle coq-master #172: Pull request #406 synchronize by gares
December 5, 2023 12:21 8m 3s
December 5, 2023 12:21 8m 3s