Skip to content

Actions: JasonGross/coq-tools

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
74 workflow run results
74 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upload standalone to CI CI #1539: Pull request #169 synchronize by JasonGross
October 20, 2023 03:08 7h 26m 12s standalone
standalone
October 20, 2023 03:08 7h 26m 12s
Add setup.py / pip packaging CI #1538: Pull request #166 synchronize by JasonGross
October 20, 2023 03:07 7h 26m 19s pip
pip
October 20, 2023 03:07 7h 26m 19s
Fix paths (pre-pip packaging) CI #1537: Commit 34e0a44 pushed by JasonGross
October 20, 2023 03:06 7h 28m 15s master
master
October 20, 2023 03:06 7h 28m 15s
Also test standalone builds on CI CI #1536: Pull request #170 synchronize by JasonGross
October 20, 2023 01:34 8h 59m 5s test-standalone
test-standalone
October 20, 2023 01:34 8h 59m 5s
Add infra for deploying to pip coq-tools on release CI #1535: Pull request #168 synchronize by JasonGross
October 20, 2023 01:33 9h 0m 47s pip-dist
pip-dist
October 20, 2023 01:33 9h 0m 47s
Upload standalone to CI CI #1534: Pull request #169 synchronize by JasonGross
October 20, 2023 01:33 5h 53m 47s standalone
standalone
October 20, 2023 01:33 5h 53m 47s
Add setup.py / pip packaging CI #1533: Pull request #166 synchronize by JasonGross
October 20, 2023 01:32 5h 10m 39s pip
pip
October 20, 2023 01:32 5h 10m 39s
Add make targets and packaging for standalone exes CI #1532: Commit 3216ad0 pushed by JasonGross
October 20, 2023 01:31 9h 2m 52s master
master
October 20, 2023 01:31 9h 2m 52s
Also test standalone builds on CI CI #1531: Pull request #170 synchronize by JasonGross
October 20, 2023 01:26 3h 1m 25s test-standalone
test-standalone
October 20, 2023 01:26 3h 1m 25s
Upload standalone to CI CI #1530: Pull request #169 synchronize by JasonGross
October 20, 2023 01:26 9h 7m 15s standalone
standalone
October 20, 2023 01:26 9h 7m 15s
Add infra for deploying to pip coq-tools on release CI #1529: Pull request #168 synchronize by JasonGross
October 20, 2023 01:26 3h 1m 55s pip-dist
pip-dist
October 20, 2023 01:26 3h 1m 55s
Add setup.py / pip packaging CI #1528: Pull request #166 synchronize by JasonGross
October 20, 2023 01:24 3h 0m 21s pip
pip
October 20, 2023 01:24 3h 0m 21s
CI CI #1527: Scheduled
October 20, 2023 00:57 3h 30m 5s master
master
October 20, 2023 00:57 3h 30m 5s
Also test standalone builds on CI CI #1526: Pull request #170 synchronize by JasonGross
October 20, 2023 00:31 3h 12m 51s test-standalone
test-standalone
October 20, 2023 00:31 3h 12m 51s
Also test standalone builds on CI CI #1525: Pull request #170 synchronize by JasonGross
October 20, 2023 00:29 1s test-standalone
test-standalone
October 20, 2023 00:29 1s
Upload standalone to CI CI #1524: Pull request #169 synchronize by JasonGross
October 20, 2023 00:29 3h 14m 29s standalone
standalone
October 20, 2023 00:29 3h 14m 29s
Add infra for deploying to pip coq-tools on release CI #1523: Pull request #168 synchronize by JasonGross
October 20, 2023 00:28 1h 42m 7s pip-dist
pip-dist
October 20, 2023 00:28 1h 42m 7s
Add setup.py / pip packaging CI #1522: Pull request #166 synchronize by JasonGross
October 20, 2023 00:28 1h 39m 55s pip
pip
October 20, 2023 00:28 1h 39m 55s
Also test standalone builds on CI CI #1521: Pull request #170 synchronize by JasonGross
October 20, 2023 00:14 Startup failure test-standalone
test-standalone
October 20, 2023 00:14 Startup failure
Upload standalone to CI CI #1520: Pull request #169 synchronize by JasonGross
October 20, 2023 00:14 1h 12m 52s standalone
standalone
October 20, 2023 00:14 1h 12m 52s
Add infra for deploying to pip coq-tools on release CI #1519: Pull request #168 synchronize by JasonGross
October 20, 2023 00:14 1h 13m 2s pip-dist
pip-dist
October 20, 2023 00:14 1h 13m 2s
Add setup.py / pip packaging CI #1518: Pull request #166 synchronize by JasonGross
October 20, 2023 00:13 41m 23s pip
pip
October 20, 2023 00:13 41m 23s
Also test standalone builds on CI CI #1517: Pull request #170 synchronize by JasonGross
October 19, 2023 23:57 Startup failure test-standalone
test-standalone
October 19, 2023 23:57 Startup failure
Upload standalone to CI CI #1516: Pull request #169 synchronize by JasonGross
October 19, 2023 23:57 32m 31s standalone
standalone
October 19, 2023 23:57 32m 31s
Upload standalone to CI CI #1515: Pull request #169 synchronize by JasonGross
October 19, 2023 23:54 20m 35s standalone
standalone
October 19, 2023 23:54 20m 35s