Skip to content

Actions: JasonGross/coq-tools

Actions

Build Standalone

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
standalone.yml
679 workflow runs
679 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hopeful compatibility with coq/coq#19599 (#237) Build Standalone #580: Commit 008b756 pushed by JasonGross
October 24, 2024 07:46 2h 3m 55s master
master
October 24, 2024 07:46 2h 3m 55s
Hopeful compatibility with coq/coq#19599 Build Standalone #579: Pull request #237 opened by JasonGross
October 24, 2024 04:55 1h 18m 6s coq-19599
coq-19599
October 24, 2024 04:55 1h 18m 6s
Build Standalone Build Standalone #578: Scheduled
October 24, 2024 00:57 1h 23m 51s master
master
October 24, 2024 00:57 1h 23m 51s
Build Standalone Build Standalone #577: Scheduled
October 23, 2024 00:57 2m 31s master
master
October 23, 2024 00:57 2m 31s
Build Standalone Build Standalone #576: Scheduled
October 22, 2024 00:58 2m 12s master
master
October 22, 2024 00:58 2m 12s
Build Standalone Build Standalone #575: Scheduled
October 21, 2024 00:59 2m 9s master
master
October 21, 2024 00:59 2m 9s
Build Standalone Build Standalone #574: Scheduled
October 20, 2024 01:02 1m 56s master
master
October 20, 2024 01:02 1m 56s
Hack to work around lack of installed .glob (#236) Build Standalone #573: Commit 956e01a pushed by JasonGross
October 19, 2024 01:25 2h 4m 47s master
master
October 19, 2024 01:25 2h 4m 47s
Build Standalone Build Standalone #572: Scheduled
October 19, 2024 00:57 10m 22s master
master
October 19, 2024 00:57 10m 22s
Hack to work around lack of installed .glob Build Standalone #571: Pull request #236 synchronize by JasonGross
October 18, 2024 20:40 4h 11m 41s retry-glob-harder
retry-glob-harder
October 18, 2024 20:40 4h 11m 41s
CI: Also test 8.20, 8.19 (#235) Build Standalone #570: Commit eb44ef9 pushed by JasonGross
October 18, 2024 20:37 4h 9m 50s master
master
October 18, 2024 20:37 4h 9m 50s
Hack to work around lack of installed .glob Build Standalone #569: Pull request #236 opened by JasonGross
October 18, 2024 17:39 2h 57m 43s retry-glob-harder
retry-glob-harder
October 18, 2024 17:39 2h 57m 43s
CI: Also test 8.20, 8.19 Build Standalone #568: Pull request #235 opened by JasonGross
October 18, 2024 16:59 2h 10m 35s test-8.19-8.20
test-8.19-8.20
October 18, 2024 16:59 2h 10m 35s
Don't try to clobber glob files with ambiguous time stamps that fail … Build Standalone #567: Commit b0ab353 pushed by JasonGross
October 18, 2024 06:15 2h 7m 44s master
master
October 18, 2024 06:15 2h 7m 44s
Don't try to clobber glob files with ambiguous time stamps that fail to build Build Standalone #566: Pull request #233 synchronize by JasonGross
October 18, 2024 03:21 2h 18m 46s safer-glob
safer-glob
October 18, 2024 03:21 2h 18m 46s
Don't try to clobber glob files with ambiguous time stamps that fail to build Build Standalone #565: Pull request #233 synchronize by JasonGross
October 18, 2024 03:20 2h 10m 20s safer-glob
safer-glob
October 18, 2024 03:20 2h 10m 20s
Don't try to clobber glob files with ambiguous time stamps that fail to build Build Standalone #564: Pull request #233 synchronize by JasonGross
October 18, 2024 03:19 3m 7s safer-glob
safer-glob
October 18, 2024 03:19 3m 7s
Don't try to clobber glob files with ambiguous time stamps that fail to build Build Standalone #563: Pull request #233 synchronize by JasonGross
October 18, 2024 02:28 50m 55s safer-glob
safer-glob
October 18, 2024 02:28 50m 55s
Build Standalone Build Standalone #562: Scheduled
October 18, 2024 00:57 1h 11m 44s master
master
October 18, 2024 00:57 1h 11m 44s
Don't try to clobber glob files with ambiguous time stamps that fail to build Build Standalone #561: Pull request #233 opened by JasonGross
October 17, 2024 20:45 4h 9m 14s safer-glob
safer-glob
October 17, 2024 20:45 4h 9m 14s
Warn when .glob files are clobbered (#232) Build Standalone #560: Commit 3be8dc6 pushed by JasonGross
October 17, 2024 20:06 3h 32m 59s master
master
October 17, 2024 20:06 3h 32m 59s
Warn when .glob files are clobbered Build Standalone #559: Pull request #232 opened by JasonGross
October 17, 2024 20:06 2h 28m 47s warn-on-glob-clobber
warn-on-glob-clobber
October 17, 2024 20:06 2h 28m 47s
Build Standalone Build Standalone #558: Scheduled
October 17, 2024 00:57 2m 16s master
master
October 17, 2024 00:57 2m 16s
Build Standalone Build Standalone #557: Scheduled
October 16, 2024 00:58 2m 1s master
master
October 16, 2024 00:58 2m 1s
Build Standalone Build Standalone #556: Scheduled
October 15, 2024 00:58 1m 56s master
master
October 15, 2024 00:58 1m 56s