Skip to content

Actions: coq-community/apery

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #28 from affeldt-aist/fix_mathcomp_ci Docker CI #186: Commit 18a6456 pushed by affeldt-aist
November 16, 2024 08:51 34m 58s master
master
November 16, 2024 08:51 34m 58s
rm warning caused by lack of archimedean Docker CI #185: Pull request #28 synchronize by affeldt-aist
November 16, 2024 08:13 34m 56s affeldt-aist:fix_mathcomp_ci
affeldt-aist:fix_mathcomp_ci
November 16, 2024 08:13 34m 56s
rm warning caused by lack of archimedean Docker CI #184: Pull request #28 synchronize by affeldt-aist
November 16, 2024 07:52 34m 39s affeldt-aist:fix_mathcomp_ci
affeldt-aist:fix_mathcomp_ci
November 16, 2024 07:52 34m 39s
rm warning caused by lack of archimedean Docker CI #183: Pull request #28 synchronize by affeldt-aist
November 16, 2024 07:20 34m 26s affeldt-aist:fix_mathcomp_ci
affeldt-aist:fix_mathcomp_ci
November 16, 2024 07:20 34m 26s
rm warning caused by lack of archimedean Docker CI #182: Pull request #28 opened by affeldt-aist
November 16, 2024 07:11 34m 42s affeldt-aist:fix_mathcomp_ci
affeldt-aist:fix_mathcomp_ci
November 16, 2024 07:11 34m 42s
Merge pull request #27 from affeldt-aist/algebra_dep Docker CI #181: Commit da803b7 pushed by proux01
November 15, 2024 16:57 35m 41s master
master
November 15, 2024 16:57 35m 41s
avoid all_algebra for finer deps Docker CI #180: Pull request #27 opened by affeldt-aist
November 15, 2024 16:17 35m 10s affeldt-aist:algebra_dep
affeldt-aist:algebra_dep
November 15, 2024 16:17 35m 10s
adapt to MC#1256 Docker CI #179: Pull request #26 opened by Tragicus
August 21, 2024 15:08 24m 37s Tragicus:pr1256
Tragicus:pr1256
August 21, 2024 15:08 24m 37s
Merge pull request #25 from coq-community/cleanup-deprecations Docker CI #178: Commit 910f96b pushed by pi8027
July 15, 2024 13:43 12m 28s master
master
July 15, 2024 13:43 12m 28s
Merge pull request #24 from coq-community/remove-floor Docker CI #177: Commit 3b24987 pushed by pi8027
July 15, 2024 13:43 27m 57s master
master
July 15, 2024 13:43 27m 57s
Remove MathComp 2.1.0 deprecations Docker CI #176: Pull request #25 opened by pi8027
July 15, 2024 12:56 19m 59s cleanup-deprecations
cleanup-deprecations
July 15, 2024 12:56 19m 59s
Remove floor.v Docker CI #175: Pull request #24 synchronize by pi8027
July 11, 2024 11:11 20m 10s remove-floor
remove-floor
July 11, 2024 11:11 20m 10s
Remove floor.v Docker CI #174: Pull request #24 synchronize by pi8027
July 11, 2024 10:23 35m 14s remove-floor
remove-floor
July 11, 2024 10:23 35m 14s
Remove floor.v Docker CI #173: Pull request #24 opened by pi8027
July 11, 2024 10:07 30m 6s remove-floor
remove-floor
July 11, 2024 10:07 30m 6s
Merge pull request #23 from coq-community/archimedean Docker CI #172: Commit 037b40c pushed by pi8027
July 8, 2024 22:39 35m 57s master
master
July 8, 2024 22:39 35m 57s
Adapt to math-comp/math-comp#1237 Docker CI #171: Pull request #23 synchronize by pi8027
July 8, 2024 10:02 37m 22s archimedean
archimedean
July 8, 2024 10:02 37m 22s
Adapt to math-comp/math-comp#1237 Docker CI #170: Pull request #23 synchronize by pi8027
July 8, 2024 09:41 36m 6s archimedean
archimedean
July 8, 2024 09:41 36m 6s
Adapt to math-comp/math-comp#1237 Docker CI #169: Pull request #23 synchronize by pi8027
July 7, 2024 21:37 48m 34s archimedean
archimedean
July 7, 2024 21:37 48m 34s
Adapt to math-comp/math-comp#1237 Docker CI #168: Pull request #23 synchronize by pi8027
July 5, 2024 20:39 49m 9s archimedean
archimedean
July 5, 2024 20:39 49m 9s
Adapt to math-comp/math-comp#1237 Docker CI #167: Pull request #23 opened by pi8027
July 5, 2024 15:37 48m 33s archimedean
archimedean
July 5, 2024 15:37 48m 33s
Merge pull request #22 from coq-community/mc_1223 Docker CI #166: Commit 50251c2 pushed by proux01
June 29, 2024 16:04 49m 4s master
master
June 29, 2024 16:04 49m 4s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Docker CI #165: Pull request #22 opened by proux01
June 29, 2024 14:31 48m 37s mc_1223
mc_1223
June 29, 2024 14:31 48m 37s
Merge pull request #21 from coq-community/ci Docker CI #164: Commit 96e0be3 pushed by pi8027
March 20, 2024 22:12 1h 0m 35s master
master
March 20, 2024 22:12 1h 0m 35s
Update CI Docker CI #163: Pull request #21 synchronize by pi8027
March 20, 2024 20:59 50m 5s ci
ci
March 20, 2024 20:59 50m 5s
Update CI Docker CI #162: Pull request #21 opened by pi8027
March 19, 2024 10:39 1h 35m 17s ci
ci
March 19, 2024 10:39 1h 35m 17s