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

separate synterp phase Nix CI for bundle coq-master #171: Pull request #406 synchronize by gares
December 4, 2023 17:03 2m 29s
December 4, 2023 17:03 2m 29s
separate synterp phase Nix CI for bundle coq-master #170: Pull request #406 synchronize by gares
December 4, 2023 17:00 4m 12s
December 4, 2023 17:00 4m 12s
separate synterp phase Nix CI for bundle coq-master #169: Pull request #406 synchronize by gares
December 4, 2023 16:56 2m 59s
December 4, 2023 16:56 2m 59s
Merge pull request #385 from proux01/rm_infer Nix CI for bundle coq-master #168: Commit b4e8cbc pushed by CohenCyril
December 4, 2023 16:09 41m 13s master
master
December 4, 2023 16:09 41m 13s
separate synterp phase Nix CI for bundle coq-master #167: Pull request #406 synchronize by gares
December 4, 2023 13:47 2m 57s
December 4, 2023 13:47 2m 57s
separate synterp phase Nix CI for bundle coq-master #166: Pull request #406 synchronize by gares
December 4, 2023 13:07 2m 58s
December 4, 2023 13:07 2m 58s
separate synterp phase Nix CI for bundle coq-master #165: Pull request #406 synchronize by gares
December 4, 2023 12:29 7m 40s
December 4, 2023 12:29 7m 40s
separate synterp phase Nix CI for bundle coq-master #164: Pull request #406 synchronize by gares
December 4, 2023 12:28 8m 24s
December 4, 2023 12:28 8m 24s
separate synterp phase Nix CI for bundle coq-master #163: Pull request #406 synchronize by gares
December 4, 2023 09:59 8m 4s
December 4, 2023 09:59 8m 4s
separate synterp phase Nix CI for bundle coq-master #162: Pull request #406 synchronize by gares
December 4, 2023 09:58 8m 4s
December 4, 2023 09:58 8m 4s
separate synterp phase Nix CI for bundle coq-master #161: Pull request #406 synchronize by gares
December 4, 2023 09:18 3m 8s
December 4, 2023 09:18 3m 8s
separate synterp phase Nix CI for bundle coq-master #160: Pull request #406 synchronize by gares
December 4, 2023 08:52 3m 6s
December 4, 2023 08:52 3m 6s
separate synterp phase Nix CI for bundle coq-master #159: Pull request #406 synchronize by gares
December 3, 2023 14:41 8m 11s
December 3, 2023 14:41 8m 11s
separate synterp phase Nix CI for bundle coq-master #158: Pull request #406 synchronize by gares
December 1, 2023 19:59 2m 45s
December 1, 2023 19:59 2m 45s
Merge pull request #221 from math-comp/fail-220 Nix CI for bundle coq-master #157: Commit 45fbacf pushed by CohenCyril
December 1, 2023 18:17 7m 31s master
master
December 1, 2023 18:17 7m 31s
separate synterp phase Nix CI for bundle coq-master #156: Pull request #406 opened by gares
December 1, 2023 15:08 2m 48s
December 1, 2023 15:08 2m 48s
Remove #[infer] attribute Nix CI for bundle coq-master #155: Pull request #385 synchronize by proux01
November 30, 2023 16:33 1h 53m 53s
November 30, 2023 16:33 1h 53m 53s
Testsuite item for #220 Nix CI for bundle coq-master #154: Pull request #221 synchronize by CohenCyril
November 30, 2023 16:07 2h 5m 26s
November 30, 2023 16:07 2h 5m 26s
Merge pull request #375 from math-comp/name-main Nix CI for bundle coq-master #153: Commit a60dd38 pushed by CohenCyril
November 30, 2023 15:46 2h 26m 31s master
master
November 30, 2023 15:46 2h 26m 31s
Remove #[infer] attribute Nix CI for bundle coq-master #152: Pull request #385 reopened by CohenCyril
November 30, 2023 15:46 2h 29m 47s
November 30, 2023 15:46 2h 29m 47s
Merge pull request #396 from proux01/ci_coqeal Nix CI for bundle coq-master #151: Commit 5400119 pushed by CohenCyril
November 30, 2023 15:44 2h 19m 42s master
master
November 30, 2023 15:44 2h 19m 42s
Merge pull request #405 from SkySkimmer/compat20 Nix CI for bundle coq-master #150: Commit 5942e6b pushed by gares
November 30, 2023 15:29 1h 13m 49s master
master
November 30, 2023 15:29 1h 13m 49s
[refactor] instance declaration Nix CI for bundle coq-master #149: Pull request #376 synchronize by CohenCyril
November 30, 2023 14:56 8m 19s
November 30, 2023 14:56 8m 19s
Fix test Nix CI for bundle coq-master #148: Pull request #405 opened by SkySkimmer
November 30, 2023 11:48 13m 31s
November 30, 2023 11:48 13m 31s
[refactor] instance declaration Nix CI for bundle coq-master #147: Pull request #376 synchronize by CohenCyril
November 30, 2023 10:31 7m 20s
November 30, 2023 10:31 7m 20s