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 #444 from math-comp/new_elpi_resolver Nix CI for bundle coq-master #296: Commit 9d256b8 pushed by gares
September 20, 2024 12:40 20m 44s master
master
September 20, 2024 12:40 20m 44s
Make the code compatible with the new elpi file resolver Nix CI for bundle coq-master #295: Pull request #444 synchronize by gares
September 20, 2024 11:30 1h 22m 43s
September 20, 2024 11:30 1h 22m 43s
Make the code compatible with the new elpi file resolver Nix CI for bundle coq-master #294: Pull request #444 synchronize by gares
September 20, 2024 11:29 1h 17m 29s
September 20, 2024 11:29 1h 17m 29s
Merge pull request #445 from math-comp/fix-new-elpi-compiler Nix CI for bundle coq-master #293: Commit c6cb08d pushed by gares
September 19, 2024 13:09 5m 20s master
master
September 19, 2024 13:09 5m 20s
put factory-alias->gref in the database Nix CI for bundle coq-master #292: Pull request #445 opened by gares
September 19, 2024 12:27 39m 40s
September 19, 2024 12:27 39m 40s
Make the code compatible with the new elpi file resolver Nix CI for bundle coq-master #291: Pull request #444 synchronize by gares
September 12, 2024 19:21 7m 39s
September 12, 2024 19:21 7m 39s
Make the code compatible with the new elpi file resolver Nix CI for bundle coq-master #290: Pull request #444 synchronize by gares
September 11, 2024 09:46 6m 3s
September 11, 2024 09:46 6m 3s
Make the code compatible with the new elpi file resolver Nix CI for bundle coq-master #289: Pull request #444 opened by gares
September 11, 2024 08:09 4m 18s
September 11, 2024 08:09 4m 18s
Fix for new coq-elpi resolver. Nix CI for bundle coq-master #288: Pull request #443 opened by gares
September 10, 2024 11:44 14m 13s
September 10, 2024 11:44 14m 13s
Merge pull request #439 from proux01/ci-820 Nix CI for bundle coq-master #287: Commit 449a797 pushed by gares
August 28, 2024 09:08 35m 34s master
master
August 28, 2024 09:08 35m 34s
[CI] Add Coq 8.20 Nix CI for bundle coq-master #286: Pull request #439 synchronize by proux01
August 26, 2024 15:02 2h 10m 49s proux01:ci-820
proux01:ci-820
August 26, 2024 15:02 2h 10m 49s
[CI] Add Coq 8.20 Nix CI for bundle coq-master #285: Pull request #439 synchronize by proux01
August 26, 2024 15:02 2h 21m 42s
August 26, 2024 15:02 2h 21m 42s
[CI] Add Coq 8.20 Nix CI for bundle coq-master #284: Pull request #439 opened by proux01
August 26, 2024 14:44 1h 32m 2s proux01:ci-820
proux01:ci-820
August 26, 2024 14:44 1h 32m 2s
[CI] Add Coq 8.20 Nix CI for bundle coq-master #283: Pull request #439 opened by proux01
August 26, 2024 14:44 2m 33s
August 26, 2024 14:44 2m 33s
Merge pull request #437 from Tvallejos/doc-how-to-mathcomp Nix CI for bundle coq-master #282: Commit 1c6f7e1 pushed by gares
July 26, 2024 07:56 6m 22s master
master
July 26, 2024 07:56 6m 22s
at the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances Nix CI for bundle coq-master #281: Pull request #437 reopened by gares
July 26, 2024 07:56 5m 53s
July 26, 2024 07:56 5m 53s
at the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances Nix CI for bundle coq-master #280: Pull request #437 synchronize by Tvallejos
July 24, 2024 15:41 5m 57s
July 24, 2024 15:41 5m 57s
at the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances Nix CI for bundle coq-master #279: Pull request #437 opened by Tvallejos
July 23, 2024 14:07 6m 5s
July 23, 2024 14:07 6m 5s
Merge pull request #433 from math-comp/gares-patch-1 Nix CI for bundle coq-master #278: Commit 5f37676 pushed by gares
July 3, 2024 21:51 17m 32s master
master
July 3, 2024 21:51 17m 32s
make copy-pack-holes failsafe Nix CI for bundle coq-master #277: Pull request #433 opened by gares
July 3, 2024 15:07 43m 9s
July 3, 2024 15:07 43m 9s
Generalized coercions Nix CI for bundle coq-master #276: Pull request #420 synchronize by Tragicus
June 27, 2024 15:21 1h 51m 53s
June 27, 2024 15:21 1h 51m 53s
Merge pull request #414 from math-comp/saturate-filter Nix CI for bundle coq-master #275: Commit 8a72aef pushed by CohenCyril
June 27, 2024 14:55 1h 24m 26s master
master
June 27, 2024 14:55 1h 24m 26s
Generalized coercions Nix CI for bundle coq-master #274: Pull request #420 synchronize by Tragicus
June 27, 2024 10:57 1h 47m 16s
June 27, 2024 10:57 1h 47m 16s
Generalized coercions Nix CI for bundle coq-master #273: Pull request #420 synchronize by Tragicus
June 27, 2024 10:55 1h 50m 57s
June 27, 2024 10:55 1h 50m 57s
Update nix (#424) Nix CI for bundle coq-master #272: Commit e4bbc38 pushed by CohenCyril
June 27, 2024 08:36 52m 53s master
master
June 27, 2024 08:36 52m 53s