Skip to content

Actions: math-comp/algebra-tactics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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