Skip to content

Actions: JasonGross/coq-tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow run results
39 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Also test standalone builds on CI Build Standalone #7: Pull request #170 synchronize by JasonGross
October 19, 2023 23:57 32m 29s test-standalone
test-standalone
October 19, 2023 23:57 32m 29s
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 Build Standalone #6: Pull request #169 synchronize by JasonGross
October 19, 2023 23:57 32m 42s standalone
standalone
October 19, 2023 23:57 32m 42s
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
Upload standalone to CI Build Standalone #5: Pull request #169 synchronize by JasonGross
October 19, 2023 23:54 20m 35s standalone
standalone
October 19, 2023 23:54 20m 35s
Also test standalone builds on CI CI #1514: Pull request #170 opened by JasonGross
October 19, 2023 23:48 1s test-standalone
test-standalone
October 19, 2023 23:48 1s
Also test standalone builds on CI Build Standalone #4: Pull request #170 opened by JasonGross
October 19, 2023 23:48 41m 8s test-standalone
test-standalone
October 19, 2023 23:48 41m 8s
Upload standalone to CI Build Standalone #3: Pull request #169 synchronize by JasonGross
October 19, 2023 23:43 46m 20s standalone
standalone
October 19, 2023 23:43 46m 20s
Upload standalone to CI CI #1513: Pull request #169 synchronize by JasonGross
October 19, 2023 23:43 31m 40s standalone
standalone
October 19, 2023 23:43 31m 40s
Add infra for deploying to pip coq-tools on release CI #1512: Pull request #168 synchronize by JasonGross
October 19, 2023 23:42 46m 52s pip-dist
pip-dist
October 19, 2023 23:42 46m 52s
Add setup.py / pip packaging CI #1511: Pull request #166 synchronize by JasonGross
October 19, 2023 23:42 47m 32s pip
pip
October 19, 2023 23:42 47m 32s
Add infra for deploying to pip coq-tools on release CI #1510: Pull request #168 synchronize by JasonGross
October 19, 2023 23:41 33m 23s pip-dist
pip-dist
October 19, 2023 23:41 33m 23s
Add infra for deploying to pip coq-tools on release CI #1509: Pull request #168 synchronize by JasonGross
October 19, 2023 23:20 55m 4s pip-dist
pip-dist
October 19, 2023 23:20 55m 4s
Upload standalone to CI Build Standalone #2: Pull request #169 synchronize by JasonGross
October 19, 2023 23:11 1h 3m 27s standalone
standalone
October 19, 2023 23:11 1h 3m 27s
Upload standalone to CI CI #1508: Pull request #169 synchronize by JasonGross
October 19, 2023 23:11 1h 3m 27s standalone
standalone
October 19, 2023 23:11 1h 3m 27s
Upload standalone to CI CI #1507: Pull request #169 opened by JasonGross
October 19, 2023 23:10 1h 4m 44s standalone
standalone
October 19, 2023 23:10 1h 4m 44s
Upload standalone to CI Build Standalone #1: Pull request #169 opened by JasonGross
October 19, 2023 23:10 33m 26s standalone
standalone
October 19, 2023 23:10 33m 26s
Add infra for deploying to pip coq-tools on release CI #1506: Pull request #168 synchronize by JasonGross
October 19, 2023 22:33 1h 10m 20s pip-dist
pip-dist
October 19, 2023 22:33 1h 10m 20s
Add setup.py / pip packaging CI #1505: Pull request #166 synchronize by JasonGross
October 19, 2023 22:32 1h 42m 15s pip
pip
October 19, 2023 22:32 1h 42m 15s
Add infra for deploying to pip coq-tools on release CI #1504: Pull request #168 synchronize by JasonGross
October 19, 2023 19:58 3h 44m 43s pip-dist
pip-dist
October 19, 2023 19:58 3h 44m 43s
Add infra for deploying to pip coq-tools on release CI #1503: Pull request #168 synchronize by JasonGross
October 19, 2023 19:56 2h 32m 27s pip-dist
pip-dist
October 19, 2023 19:56 2h 32m 27s
Add setup.py / pip packaging CI #1502: Pull request #166 synchronize by JasonGross
October 19, 2023 19:48 2h 40m 43s pip
pip
October 19, 2023 19:48 2h 40m 43s
Merge docker workflow into ci.yml and add more versions of Coq (#167) CI #1501: Commit 587ab7f pushed by JasonGross
October 19, 2023 19:23 3h 5m 50s master
master
October 19, 2023 19:23 3h 5m 50s
Add infra for deploying to pip coq-tools on release CI #1500: Pull request #168 synchronize by JasonGross
October 19, 2023 18:33 49m 48s pip-dist
pip-dist
October 19, 2023 18:33 49m 48s