Skip to content

Actions: math-comp/algebra-tactics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
adapt to MC#1256 Docker CI #310: Pull request #100 opened by Tragicus
August 21, 2024 15:18 4m 25s Tragicus:pr1256
Tragicus:pr1256
August 21, 2024 15:18 4m 25s
Revert "Workaround for #87" Docker CI #309: Pull request #99 opened by pi8027
June 17, 2024 13:32 4m 44s revert-pr90
revert-pr90
June 17, 2024 13:32 4m 44s
Merge pull request #98 from math-comp/ci Docker CI #308: Commit 4f51ac8 pushed by pi8027
May 28, 2024 14:53 8m 13s master
master
May 28, 2024 14:53 8m 13s
Update CI Docker CI #307: Pull request #98 synchronize by pi8027
May 28, 2024 14:11 5m 7s ci
ci
May 28, 2024 14:11 5m 7s
Update CI Docker CI #306: Pull request #98 opened by pi8027
May 28, 2024 13:03 7m 53s ci
ci
May 28, 2024 13:03 7m 53s
Merge pull request #96 from math-comp/ci Docker CI #305: Commit 9308c54 pushed by pi8027
January 18, 2024 19:22 18m 21s master
master
January 18, 2024 19:22 18m 21s