Skip to content

Actions: math-comp/algebra-tactics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix CI Docker CI #304: Pull request #96 opened by pi8027
January 18, 2024 16:25 17m 40s ci
ci
January 18, 2024 16:25 17m 40s
Merge pull request #95 from math-comp/ci Docker CI #303: Commit 5089896 pushed by pi8027
January 18, 2024 13:31 17m 39s master
master
January 18, 2024 13:31 17m 39s
Update CI Docker CI #302: Pull request #95 synchronize by pi8027
January 18, 2024 13:06 19m 57s ci
ci
January 18, 2024 13:06 19m 57s
Update CI Docker CI #301: Pull request #95 opened by pi8027
January 18, 2024 12:51 23m 30s ci
ci
January 18, 2024 12:51 23m 30s
Merge pull request #94 from proux01/fix_master Docker CI #300: Commit 1e42551 pushed by proux01
November 2, 2023 19:18 45m 21s master
master
November 2, 2023 19:18 45m 21s
Fix compilation with master Docker CI #299: Pull request #94 opened by proux01
November 2, 2023 18:33 44m 42s proux01:fix_master
proux01:fix_master
November 2, 2023 18:33 44m 42s
Merge pull request #93 from math-comp/ci Docker CI #298: Commit 50d6b53 pushed by pi8027
October 26, 2023 11:21 35m 36s master
master
October 26, 2023 11:21 35m 36s
Update CI Docker CI #297: Pull request #93 opened by pi8027
October 26, 2023 10:50 26m 20s ci
ci
October 26, 2023 10:50 26m 20s