Skip to content

Actions: JasonGross/coq-tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,602 workflow runs
1,602 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Standalone Build Standalone #640: Scheduled
December 9, 2024 01:05 2m 43s master
master
December 9, 2024 01:05 2m 43s
Adapt to https://github.com/coq/coq/pull/19530 Publish Python 🐍 distribution 📦 to PyPI or TestPyPI #195: Pull request #240 synchronize by JasonGross
December 8, 2024 21:18 2h 24m 56s proux01:stdlib_repo
proux01:stdlib_repo
December 8, 2024 21:18 2h 24m 56s
Adapt to https://github.com/coq/coq/pull/19530 Build Standalone #639: Pull request #240 synchronize by JasonGross
December 8, 2024 21:18 2h 20m 40s proux01:stdlib_repo
proux01:stdlib_repo
December 8, 2024 21:18 2h 20m 40s
Adapt to https://github.com/coq/coq/pull/19530 CI #2166: Pull request #240 synchronize by JasonGross
December 8, 2024 21:18 3h 16m 50s proux01:stdlib_repo
proux01:stdlib_repo
December 8, 2024 21:18 3h 16m 50s
Adapt to https://github.com/coq/coq/pull/19530 CI #2165: Pull request #240 synchronize by JasonGross
December 8, 2024 21:18 1h 45m 23s proux01:stdlib_repo
proux01:stdlib_repo
December 8, 2024 21:18 1h 45m 23s
Adapt to https://github.com/coq/coq/pull/19530 Publish Python 🐍 distribution 📦 to PyPI or TestPyPI #194: Pull request #240 synchronize by JasonGross
December 8, 2024 21:18 2h 23m 4s proux01:stdlib_repo
proux01:stdlib_repo
December 8, 2024 21:18 2h 23m 4s
Adapt to https://github.com/coq/coq/pull/19530 Build Standalone #638: Pull request #240 synchronize by JasonGross
December 8, 2024 21:18 1h 55m 28s proux01:stdlib_repo
proux01:stdlib_repo
December 8, 2024 21:18 1h 55m 28s
CI CI #2164: Scheduled
December 8, 2024 08:17 2h 21m 48s master
master
December 8, 2024 08:17 2h 21m 48s
Avoid joining with '' when coqpath is empty (#241) Build Standalone #637: Commit 964175f pushed by JasonGross
December 8, 2024 05:17 1h 41m 59s master
master
December 8, 2024 05:17 1h 41m 59s
Avoid joining with '' when coqpath is empty (#241) CI #2163: Commit 964175f pushed by JasonGross
December 8, 2024 05:17 2h 20m 23s master
master
December 8, 2024 05:17 2h 20m 23s
Avoid joining with '' when coqpath is empty (#241) Publish Python 🐍 distribution 📦 to PyPI or TestPyPI #193: Commit 964175f pushed by JasonGross
December 8, 2024 05:17 1h 42m 6s master
master
December 8, 2024 05:17 1h 42m 6s
Avoid joining with '' when coqpath is empty Publish Python 🐍 distribution 📦 to PyPI or TestPyPI #192: Pull request #241 opened by JasonGross
December 8, 2024 02:55 1h 25m 1s no-empty-coqpath
no-empty-coqpath
December 8, 2024 02:55 1h 25m 1s
Avoid joining with '' when coqpath is empty CI #2162: Pull request #241 opened by JasonGross
December 8, 2024 02:55 2h 21m 11s no-empty-coqpath
no-empty-coqpath
December 8, 2024 02:55 2h 21m 11s
Avoid joining with '' when coqpath is empty Build Standalone #636: Pull request #241 opened by JasonGross
December 8, 2024 02:55 1h 21m 10s no-empty-coqpath
no-empty-coqpath
December 8, 2024 02:55 1h 21m 10s
Build Standalone Build Standalone #635: Scheduled
December 8, 2024 01:08 2m 7s master
master
December 8, 2024 01:08 2m 7s
Adapt to https://github.com/coq/coq/pull/19530 Build Standalone #634: Pull request #240 synchronize by proux01
December 7, 2024 20:24 1h 31m 8s proux01:stdlib_repo
proux01:stdlib_repo
December 7, 2024 20:24 1h 31m 8s
Adapt to https://github.com/coq/coq/pull/19530 CI #2161: Pull request #240 synchronize by proux01
December 7, 2024 20:24 2h 22m 44s proux01:stdlib_repo
proux01:stdlib_repo
December 7, 2024 20:24 2h 22m 44s
Adapt to https://github.com/coq/coq/pull/19530 Publish Python 🐍 distribution 📦 to PyPI or TestPyPI #191: Pull request #240 synchronize by proux01
December 7, 2024 20:24 1h 31m 15s proux01:stdlib_repo
proux01:stdlib_repo
December 7, 2024 20:24 1h 31m 15s
CI CI #2160: Scheduled
December 7, 2024 08:17 2h 25m 24s master
master
December 7, 2024 08:17 2h 25m 24s
Build Standalone Build Standalone #633: Scheduled
December 7, 2024 01:02 2m 33s master
master
December 7, 2024 01:02 2m 33s
Adapt to https://github.com/coq/coq/pull/19530 CI #2159: Pull request #240 synchronize by JasonGross
December 6, 2024 10:44 2h 44m 43s proux01:stdlib_repo
proux01:stdlib_repo
December 6, 2024 10:44 2h 44m 43s
Adapt to https://github.com/coq/coq/pull/19530 Build Standalone #632: Pull request #240 synchronize by JasonGross
December 6, 2024 10:44 2h 12m 23s proux01:stdlib_repo
proux01:stdlib_repo
December 6, 2024 10:44 2h 12m 23s
Adapt to https://github.com/coq/coq/pull/19530 Publish Python 🐍 distribution 📦 to PyPI or TestPyPI #190: Pull request #240 synchronize by JasonGross
December 6, 2024 10:44 2h 12m 29s proux01:stdlib_repo
proux01:stdlib_repo
December 6, 2024 10:44 2h 12m 29s
Adapt to https://github.com/coq/coq/pull/19530 CI #2158: Pull request #240 synchronize by JasonGross
December 6, 2024 10:42 2h 10m 8s proux01:stdlib_repo
proux01:stdlib_repo
December 6, 2024 10:42 2h 10m 8s
Adapt to https://github.com/coq/coq/pull/19530 Build Standalone #631: Pull request #240 synchronize by JasonGross
December 6, 2024 10:42 4m 24s proux01:stdlib_repo
proux01:stdlib_repo
December 6, 2024 10:42 4m 24s