Skip to content

Actions: math-comp/hierarchy-builder

Actions

docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #444 from math-comp/new_elpi_resolver docker CI #1249: Commit 9d256b8 pushed by gares
September 20, 2024 12:40 5m 23s master
master
September 20, 2024 12:40 5m 23s
Make the code compatible with the new elpi file resolver docker CI #1248: Pull request #444 synchronize by gares
September 20, 2024 11:30 5m 16s new_elpi_resolver
new_elpi_resolver
September 20, 2024 11:30 5m 16s
Merge pull request #445 from math-comp/fix-new-elpi-compiler docker CI #1247: Commit c6cb08d pushed by gares
September 19, 2024 13:09 5m 23s master
master
September 19, 2024 13:09 5m 23s
put factory-alias->gref in the database docker CI #1246: Pull request #445 opened by gares
September 19, 2024 12:27 5m 36s fix-new-elpi-compiler
fix-new-elpi-compiler
September 19, 2024 12:27 5m 36s
Make the code compatible with the new elpi file resolver docker CI #1245: Pull request #444 synchronize by gares
September 12, 2024 19:21 5m 25s new_elpi_resolver
new_elpi_resolver
September 12, 2024 19:21 5m 25s
Make the code compatible with the new elpi file resolver docker CI #1244: Pull request #444 synchronize by gares
September 11, 2024 09:46 5m 17s new_elpi_resolver
new_elpi_resolver
September 11, 2024 09:46 5m 17s
Make the code compatible with the new elpi file resolver docker CI #1243: Pull request #444 opened by gares
September 11, 2024 08:09 5m 27s new_elpi_resolver
new_elpi_resolver
September 11, 2024 08:09 5m 27s
Fix for new coq-elpi resolver. docker CI #1242: Pull request #443 opened by gares
September 10, 2024 11:44 5m 21s rlepigre:new_elpi_resolver
rlepigre:new_elpi_resolver
September 10, 2024 11:44 5m 21s
Merge pull request #439 from proux01/ci-820 docker CI #1241: Commit 449a797 pushed by gares
August 28, 2024 09:08 5m 21s master
master
August 28, 2024 09:08 5m 21s
[CI] Add Coq 8.20 docker CI #1240: Pull request #439 synchronize by proux01
August 26, 2024 15:02 6m 36s proux01:ci-820
proux01:ci-820
August 26, 2024 15:02 6m 36s
[CI] Add Coq 8.20 docker CI #1239: Pull request #439 opened by proux01
August 26, 2024 14:44 5m 24s proux01:ci-820
proux01:ci-820
August 26, 2024 14:44 5m 24s
Merge pull request #437 from Tvallejos/doc-how-to-mathcomp docker CI #1238: Commit 1c6f7e1 pushed by gares
July 26, 2024 07:56 5m 7s master
master
July 26, 2024 07:56 5m 7s
at the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances docker CI #1237: Pull request #437 reopened by gares
July 26, 2024 07:56 5m 7s Tvallejos:doc-how-to-mathcomp
Tvallejos:doc-how-to-mathcomp
July 26, 2024 07:56 5m 7s
at the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances docker CI #1236: Pull request #437 synchronize by Tvallejos
July 24, 2024 15:41 5m 21s Tvallejos:doc-how-to-mathcomp
Tvallejos:doc-how-to-mathcomp
July 24, 2024 15:41 5m 21s
at the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances docker CI #1235: Pull request #437 opened by Tvallejos
July 23, 2024 14:07 5m 21s Tvallejos:doc-how-to-mathcomp
Tvallejos:doc-how-to-mathcomp
July 23, 2024 14:07 5m 21s
Merge pull request #433 from math-comp/gares-patch-1 docker CI #1234: Commit 5f37676 pushed by gares
July 3, 2024 21:51 5m 13s master
master
July 3, 2024 21:51 5m 13s
make copy-pack-holes failsafe docker CI #1233: Pull request #433 opened by gares
July 3, 2024 15:07 5m 47s gares-patch-1
gares-patch-1
July 3, 2024 15:07 5m 47s
Generalized coercions docker CI #1232: Pull request #420 synchronize by Tragicus
June 27, 2024 15:21 6m 31s Tragicus:proto-coercion
Tragicus:proto-coercion
June 27, 2024 15:21 6m 31s
Merge pull request #414 from math-comp/saturate-filter docker CI #1231: Commit 8a72aef pushed by CohenCyril
June 27, 2024 14:55 13m 22s master
master
June 27, 2024 14:55 13m 22s
Generalized coercions docker CI #1230: Pull request #420 synchronize by Tragicus
June 27, 2024 10:57 5m 14s Tragicus:proto-coercion
Tragicus:proto-coercion
June 27, 2024 10:57 5m 14s
Update nix (#424) docker CI #1229: Commit e4bbc38 pushed by CohenCyril
June 27, 2024 08:36 5m 14s master
master
June 27, 2024 08:36 5m 14s
fix #386 docker CI #1228: Pull request #423 synchronize by gares
June 19, 2024 08:24 4m 59s fix-proj-ty-primproj
fix-proj-ty-primproj
June 19, 2024 08:24 4m 59s
Merge pull request #426 from affeldt-aist/typo_20240618 docker CI #1227: Commit 226780f pushed by gares
June 18, 2024 16:14 5m 30s master
master
June 18, 2024 16:14 5m 30s
Fix test failure docker CI #1226: Pull request #427 opened by proux01
June 18, 2024 14:43 5m 49s proux01:fix_test_failure
proux01:fix_test_failure
June 18, 2024 14:43 5m 49s
fix #386 docker CI #1225: Pull request #423 synchronize by gares
June 18, 2024 14:13 5m 11s fix-proj-ty-primproj
fix-proj-ty-primproj
June 18, 2024 14:13 5m 11s