Skip to content

Actions: coq-community/apery

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #20 from coq-community/ci Docker CI #161: Commit 64cb784 pushed by pi8027
October 27, 2023 15:06 59m 56s master
master
October 27, 2023 15:06 59m 56s
Update CI Docker CI #160: Pull request #20 opened by pi8027
October 27, 2023 13:32 1h 5m 51s ci
ci
October 27, 2023 13:32 1h 5m 51s
Merge pull request #19 from coq-community/short-w_upper_bounded Docker CI #159: Commit 86c3837 pushed by pi8027
October 27, 2023 08:25 1h 22m 15s master
master
October 27, 2023 08:25 1h 22m 15s
A shorter proof of w_upper_bounded Docker CI #158: Pull request #19 opened by pi8027
October 24, 2023 12:51 2h 0m 48s short-w_upper_bounded
short-w_upper_bounded
October 24, 2023 12:51 2h 0m 48s
Merge pull request #16 from coq-community/hierarchy-builder Docker CI #157: Commit a68c107 pushed by pi8027
October 17, 2023 13:07 1h 30m 1s master
master
October 17, 2023 13:07 1h 30m 1s
Port to MathComp 2 Docker CI #156: Pull request #16 synchronize by pi8027
October 14, 2023 11:53 46m 8s hierarchy-builder
hierarchy-builder
October 14, 2023 11:53 46m 8s
Merge pull request #17 from coq-community/cleanup Docker CI #155: Commit f37fda3 pushed by pi8027
October 13, 2023 16:11 42m 51s master
master
October 13, 2023 16:11 42m 51s