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 #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
Port to MathComp 2 Docker CI #154: Pull request #16 synchronize by pi8027
October 13, 2023 13:45 1h 57m 26s hierarchy-builder
hierarchy-builder
October 13, 2023 13:45 1h 57m 26s
Cleanup deprecation warnings (before bumping to MC2) Docker CI #153: Pull request #17 synchronize by pi8027
October 13, 2023 13:43 1h 20m 13s cleanup
cleanup
October 13, 2023 13:43 1h 20m 13s
Port to MathComp 2 Docker CI #152: Pull request #16 synchronize by pi8027
October 13, 2023 11:56 1h 36m 15s hierarchy-builder
hierarchy-builder
October 13, 2023 11:56 1h 36m 15s
Cleanup deprecation warnings (before bumping to MC2) Docker CI #151: Pull request #17 synchronize by pi8027
October 13, 2023 11:56 52m 35s cleanup
cleanup
October 13, 2023 11:56 52m 35s
Cleanup deprecation warnings (before bumping to MC2) Docker CI #150: Pull request #17 opened by pi8027
October 12, 2023 15:02 14m 57s cleanup
cleanup
October 12, 2023 15:02 14m 57s
Port to MathComp 2 Docker CI #149: Pull request #16 synchronize by pi8027
October 12, 2023 14:25 50m 41s hierarchy-builder
hierarchy-builder
October 12, 2023 14:25 50m 41s
Port to MathComp 2 Docker CI #148: Pull request #16 synchronize by pi8027
September 29, 2023 13:21 45m 55s hierarchy-builder
hierarchy-builder
September 29, 2023 13:21 45m 55s
Port to MathComp 2 Docker CI #147: Pull request #16 synchronize by pi8027
September 28, 2023 18:19 44m 1s hierarchy-builder
hierarchy-builder
September 28, 2023 18:19 44m 1s
Port to MathComp 2 Docker CI #146: Pull request #16 synchronize by pi8027
September 27, 2023 14:59 2m 24s hierarchy-builder
hierarchy-builder
September 27, 2023 14:59 2m 24s
Port to MathComp 2 Docker CI #145: Pull request #16 synchronize by pi8027
September 27, 2023 12:33 37m 8s hierarchy-builder
hierarchy-builder
September 27, 2023 12:33 37m 8s
Port to MathComp 2 Docker CI #144: Pull request #16 opened by pi8027
September 27, 2023 12:25 33m 44s hierarchy-builder
hierarchy-builder
September 27, 2023 12:25 33m 44s