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

Generalized coercions docker CI #1199: Pull request #420 synchronize by Tragicus
June 6, 2024 07:13 16m 41s Tragicus:proto-coercion
Tragicus:proto-coercion
June 6, 2024 07:13 16m 41s
Generalized coercions docker CI #1198: Pull request #420 synchronize by Tragicus
June 5, 2024 14:20 16m 55s Tragicus:proto-coercion
Tragicus:proto-coercion
June 5, 2024 14:20 16m 55s
Generalized coercions docker CI #1197: Pull request #420 synchronize by Tragicus
June 4, 2024 13:26 17m 35s Tragicus:proto-coercion
Tragicus:proto-coercion
June 4, 2024 13:26 17m 35s
Generalized coercions docker CI #1196: Pull request #420 synchronize by Tragicus
May 28, 2024 15:01 5m 33s Tragicus:proto-coercion
Tragicus:proto-coercion
May 28, 2024 15:01 5m 33s
Generalized coercions docker CI #1195: Pull request #420 synchronize by gares
May 28, 2024 11:53 5m 21s Tragicus:proto-coercion
Tragicus:proto-coercion
May 28, 2024 11:53 5m 21s
Generalized coercions docker CI #1194: Pull request #420 synchronize by Tragicus
May 28, 2024 11:10 5m 36s Tragicus:proto-coercion
Tragicus:proto-coercion
May 28, 2024 11:10 5m 36s
Generalized coercions docker CI #1193: Pull request #420 synchronize by Tragicus
May 28, 2024 11:08 5m 44s Tragicus:proto-coercion
Tragicus:proto-coercion
May 28, 2024 11:08 5m 44s
Generalized coercions docker CI #1192: Pull request #420 opened by Tragicus
May 28, 2024 08:54 5m 1s Tragicus:proto-coercion
Tragicus:proto-coercion
May 28, 2024 08:54 5m 1s
HB.saturate: take a cs pattern as a filter docker CI #1191: Pull request #414 opened by gares
March 6, 2024 14:45 5m 33s saturate-filter
saturate-filter
March 6, 2024 14:45 5m 33s
[refactor] instance declaration docker CI #1190: Pull request #376 synchronize by gares
March 4, 2024 21:26 4m 9s refactor-instance
refactor-instance
March 4, 2024 21:26 4m 9s
[refactor] instance declaration docker CI #1189: Pull request #376 synchronize by gares
February 2, 2024 16:47 5m 30s refactor-instance
refactor-instance
February 2, 2024 16:47 5m 30s
[refactor] instance declaration docker CI #1188: Pull request #376 synchronize by gares
January 31, 2024 15:52 4m 49s refactor-instance
refactor-instance
January 31, 2024 15:52 4m 49s
[refactor] instance declaration docker CI #1187: Pull request #376 synchronize by gares
January 29, 2024 19:52 4m 50s refactor-instance
refactor-instance
January 29, 2024 19:52 4m 50s
[refactor] instance declaration docker CI #1186: Pull request #376 synchronize by gares
January 29, 2024 13:04 5m 33s refactor-instance
refactor-instance
January 29, 2024 13:04 5m 33s
Merge pull request #410 from math-comp/CohenCyril-patch-1 docker CI #1185: Commit 8b1725c pushed by CohenCyril
January 11, 2024 10:57 13m 7s v1.7.0
v1.7.0
January 11, 2024 10:57 13m 7s
Merge pull request #410 from math-comp/CohenCyril-patch-1 docker CI #1184: Commit 8b1725c pushed by CohenCyril
January 10, 2024 13:28 6m 4s master
master
January 10, 2024 13:28 6m 4s
Update Changelog.md docker CI #1183: Pull request #410 opened by CohenCyril
January 10, 2024 10:56 6m 39s CohenCyril-patch-1
CohenCyril-patch-1
January 10, 2024 10:56 6m 39s
Merge pull request #409 from proux01/ci_coq819 docker CI #1182: Commit 494dd62 pushed by CohenCyril
January 3, 2024 14:23 6m 1s master
master
January 3, 2024 14:23 6m 1s
[CI] Add Coq 8.19 docker CI #1181: Pull request #409 synchronize by proux01
January 3, 2024 12:35 6m 10s proux01:ci_coq819
proux01:ci_coq819
January 3, 2024 12:35 6m 10s
[CI] Add Coq 8.19 docker CI #1180: Pull request #409 synchronize by proux01
January 3, 2024 11:50 3m 32s proux01:ci_coq819
proux01:ci_coq819
January 3, 2024 11:50 3m 32s
[CI] Add Coq 8.19 docker CI #1179: Pull request #409 synchronize by proux01
January 3, 2024 11:10 3m 28s proux01:ci_coq819
proux01:ci_coq819
January 3, 2024 11:10 3m 28s
[CI] Add Coq 8.19 docker CI #1178: Pull request #409 opened by proux01
January 3, 2024 10:42 3m 23s proux01:ci_coq819
proux01:ci_coq819
January 3, 2024 10:42 3m 23s
Merge pull request #406 from math-comp/coq-elpi-2 docker CI #1177: Commit 5978ba7 pushed by gares
December 29, 2023 13:57 3m 25s master
master
December 29, 2023 13:57 3m 25s
separate synterp phase docker CI #1176: Pull request #406 synchronize by gares
December 5, 2023 13:27 3m 31s coq-elpi-2
coq-elpi-2
December 5, 2023 13:27 3m 31s
separate synterp phase docker CI #1175: Pull request #406 synchronize by gares
December 5, 2023 13:18 3m 36s coq-elpi-2
coq-elpi-2
December 5, 2023 13:18 3m 36s