Skip to content

Actions: math-comp/hierarchy-builder

Actions

docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
234 workflow runs
234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

saturate instances on structure declaration docker CI #1072: Pull request #334 synchronize by gares
October 5, 2023 06:15 5m 12s instance-before-structure
instance-before-structure
October 5, 2023 06:15 5m 12s
Merge pull request #391 from proux01/primitive_class_default docker CI #1071: Commit 7d4f095 pushed by CohenCyril
September 29, 2023 08:11 7m 15s master
master
September 29, 2023 08:11 7m 15s
Refactoring of the category theory example + removing plan B (#389) docker CI #1070: Commit 2f03016 pushed by CohenCyril
September 29, 2023 07:44 6m 7s master
master
September 29, 2023 07:44 6m 7s
Make primitive_class the default docker CI #1069: Pull request #391 opened by proux01
September 29, 2023 07:36 7m 50s proux01:primitive_class_default
proux01:primitive_class_default
September 29, 2023 07:36 7m 50s
Refactoring of the category theory example + removing plan B docker CI #1068: Pull request #389 synchronize by CohenCyril
September 28, 2023 13:17 6m 47s cat-new
cat-new
September 28, 2023 13:17 6m 47s
Refactoring of the category theory example + removing plan B docker CI #1067: Pull request #389 synchronize by CohenCyril
September 28, 2023 12:57 6m 13s cat-new
cat-new
September 28, 2023 12:57 6m 13s
Refactoring of the category theory example + removing plan B docker CI #1066: Pull request #389 synchronize by CohenCyril
September 27, 2023 09:19 7m 16s cat-new
cat-new
September 27, 2023 09:19 7m 16s
Remove #[infer] attribute docker CI #1065: Pull request #385 synchronize by proux01
September 25, 2023 07:21 7m 37s proux01:rm_infer
proux01:rm_infer
September 25, 2023 07:21 7m 37s
Refactoring of the category theory example + removing plan B docker CI #1064: Pull request #389 synchronize by CohenCyril
September 21, 2023 12:06 7m 44s cat-new
cat-new
September 21, 2023 12:06 7m 44s
Refactoring of the category theory example + removing plan B docker CI #1063: Pull request #389 synchronize by CohenCyril
September 21, 2023 12:05 6m 21s cat-new
cat-new
September 21, 2023 12:05 6m 21s
Refactoring of the category theory example + removing plan B docker CI #1062: Pull request #389 opened by CohenCyril
September 21, 2023 11:43 7m 49s cat-new
cat-new
September 21, 2023 11:43 7m 49s
Merge pull request #388 from math-comp/close-changelog-1.6.0 docker CI #1061: Commit 3b478ca pushed by gares
September 20, 2023 14:12 19m 37s v1.6.0
v1.6.0
September 20, 2023 14:12 19m 37s
Merge pull request #388 from math-comp/close-changelog-1.6.0 docker CI #1060: Commit 3b478ca pushed by gares
September 20, 2023 14:10 7m 3s master
master
September 20, 2023 14:10 7m 3s
prepare release docker CI #1059: Pull request #388 synchronize by gares
September 20, 2023 13:55 7m 41s close-changelog-1.6.0
close-changelog-1.6.0
September 20, 2023 13:55 7m 41s
prepare release docker CI #1058: Pull request #388 opened by gares
September 20, 2023 09:23 6m 38s close-changelog-1.6.0
close-changelog-1.6.0
September 20, 2023 09:23 6m 38s
Merge pull request #379 from math-comp/fix-ci docker CI #1057: Commit 961aaba pushed by gares
September 20, 2023 09:23 7m 3s master
master
September 20, 2023 09:23 7m 3s
enable CI on 8.18 docker CI #1056: Pull request #379 synchronize by gares
September 20, 2023 09:11 7m 43s fix-ci
fix-ci
September 20, 2023 09:11 7m 43s
Remove #[infer] attribute docker CI #1055: Pull request #385 synchronize by proux01
September 18, 2023 14:52 7m 13s proux01:rm_infer
proux01:rm_infer
September 18, 2023 14:52 7m 13s
Remove #[infer] attribute docker CI #1054: Pull request #385 opened by proux01
September 13, 2023 14:06 6m 53s proux01:rm_infer
proux01:rm_infer
September 13, 2023 14:06 6m 53s
Merge pull request #384 from proux01/drop_coq_815 docker CI #1053: Commit a869fed pushed by CohenCyril
September 7, 2023 11:02 9m 8s master
master
September 7, 2023 11:02 9m 8s
Drop support for Coq 8.15 docker CI #1052: Pull request #384 opened by proux01
September 6, 2023 16:27 9m 4s proux01:drop_coq_815
proux01:drop_coq_815
September 6, 2023 16:27 9m 4s
Merge pull request #380 from proux01/perf_compress_coercion docker CI #1051: Commit 4c7c83d pushed by gares
September 6, 2023 15:46 7m 57s master
master
September 6, 2023 15:46 7m 57s
A few performance improvements docker CI #1050: Pull request #380 synchronize by proux01
September 6, 2023 15:01 7m 50s proux01:perf_compress_coercion
proux01:perf_compress_coercion
September 6, 2023 15:01 7m 50s
Merge pull request #383 from proux01/coq_master_ci docker CI #1049: Commit a23b4fc pushed by gares
September 6, 2023 14:46 7m 50s master
master
September 6, 2023 14:46 7m 50s
[CI] Add Coq master and Coq 8.18 to master branch docker CI #1048: Pull request #383 synchronize by proux01
September 6, 2023 13:35 8m 52s proux01:coq_master_ci
proux01:coq_master_ci
September 6, 2023 13:35 8m 52s