Skip to content

Actions: math-comp/algebra-tactics

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lookup abstracted terms using unification Docker CI #335: Pull request #109 opened by Tragicus
January 22, 2025 12:12 21m 26s Tragicus:mc1256
Tragicus:mc1256
January 22, 2025 12:12 21m 26s
Make algebra_tactics robust to attacks on the algebraic hierarchy (#108) Docker CI #334: Commit c819257 pushed by CohenCyril
January 21, 2025 08:25 21m 47s master
master
January 21, 2025 08:25 21m 47s
Make algebra_tactics robust to attacks on the algebraic hierarchy Docker CI #333: Pull request #108 synchronize by Tragicus
January 20, 2025 14:27 5m 20s Tragicus:coercions
Tragicus:coercions
January 20, 2025 14:27 5m 20s
Make algebra_tactics robust to attacks on the algebraic hierarchy Docker CI #332: Pull request #108 opened by Tragicus
January 20, 2025 13:01 20m 57s Tragicus:coercions
Tragicus:coercions
January 20, 2025 13:01 20m 57s
adapt to MC#1256 Docker CI #331: Pull request #100 synchronize by Tragicus
January 20, 2025 09:10 29m 53s Tragicus:pr1256
Tragicus:pr1256
January 20, 2025 09:10 29m 53s
Adapt to MC#1319 Docker CI #330: Pull request #106 synchronize by Tragicus
January 20, 2025 09:09 20m 53s Tragicus:mc1319
Tragicus:mc1319
January 20, 2025 09:09 20m 53s
Adapt to MC#1319 Docker CI #329: Pull request #106 synchronize by Tragicus
January 17, 2025 14:14 30m 22s Tragicus:mc1319
Tragicus:mc1319
January 17, 2025 14:14 30m 22s
Merge pull request #107 from proux01/coq_19801 Docker CI #328: Commit 9139306 pushed by proux01
January 17, 2025 13:03 26m 42s master
master
January 17, 2025 13:03 26m 42s
Adapt to https://github.com/coq/coq/pull/19801 Docker CI #327: Pull request #107 synchronize by proux01
January 17, 2025 12:32 26m 31s proux01:coq_19801
proux01:coq_19801
January 17, 2025 12:32 26m 31s
Adapt to https://github.com/coq/coq/pull/19801 Docker CI #326: Pull request #107 opened by proux01
January 17, 2025 12:23 8m 27s proux01:coq_19801
proux01:coq_19801
January 17, 2025 12:23 8m 27s
Adapt to MC#1319 Docker CI #325: Pull request #106 synchronize by Tragicus
January 17, 2025 11:37 25m 36s Tragicus:mc1319
Tragicus:mc1319
January 17, 2025 11:37 25m 36s
Adapt to MC#1319 Docker CI #324: Pull request #106 synchronize by Tragicus
January 17, 2025 11:31 21m 35s Tragicus:mc1319
Tragicus:mc1319
January 17, 2025 11:31 21m 35s
Adapt to MC#1319 Docker CI #323: Pull request #106 synchronize by Tragicus
January 16, 2025 21:21 25m 7s Tragicus:mc1319
Tragicus:mc1319
January 16, 2025 21:21 25m 7s
Adapt to MC#1319 Docker CI #322: Pull request #106 opened by Tragicus
January 16, 2025 14:06 22m 26s Tragicus:mc1319
Tragicus:mc1319
January 16, 2025 14:06 22m 26s
Merge pull request #105 from math-comp/elpi-typecheck Docker CI #321: Commit 12e9b64 pushed by pi8027
December 6, 2024 22:30 12m 33s master
master
December 6, 2024 22:30 12m 33s
Remove -w -elpi.typecheck-syntax from Make and _CoqProject Docker CI #320: Pull request #105 opened by pi8027
December 6, 2024 22:16 12m 32s elpi-typecheck
elpi-typecheck
December 6, 2024 22:16 12m 32s
Merge pull request #104 from math-comp/ci Docker CI #319: Commit 16b3dbf pushed by pi8027
December 6, 2024 12:49 12m 11s master
master
December 6, 2024 12:49 12m 11s
Update CI Docker CI #318: Pull request #104 synchronize by pi8027
December 5, 2024 13:44 5m 34s ci
ci
December 5, 2024 13:44 5m 34s
Update CI Docker CI #317: Pull request #104 synchronize by pi8027
December 5, 2024 13:33 9m 1s ci
ci
December 5, 2024 13:33 9m 1s
Update CI Docker CI #316: Pull request #104 opened by pi8027
December 5, 2024 13:07 5m 24s ci
ci
December 5, 2024 13:07 5m 24s
Merge pull request #99 from math-comp/revert-pr90 Docker CI #315: Commit cd96b3e pushed by pi8027
September 11, 2024 13:47 5m 7s master
master
September 11, 2024 13:47 5m 7s
Revert "Workaround for #87" Docker CI #314: Pull request #99 synchronize by pi8027
September 11, 2024 13:28 15m 27s revert-pr90
revert-pr90
September 11, 2024 13:28 15m 27s
Merge pull request #102 from math-comp/ci Docker CI #313: Commit dfaf034 pushed by pi8027
September 11, 2024 13:27 12m 28s master
master
September 11, 2024 13:27 12m 28s
Update CI Docker CI #312: Pull request #102 opened by pi8027
September 11, 2024 13:11 8m 13s ci
ci
September 11, 2024 13:11 8m 13s
Fix a typo in README Docker CI #311: Commit ec1197b pushed by pi8027
September 6, 2024 10:21 5m 13s master
master
September 6, 2024 10:21 5m 13s