Skip to content

Actions: JasonGross/coq-tools

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
656 workflow runs
656 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #2267: Scheduled
February 2, 2025 08:14 2h 24m 46s master
master
February 2, 2025 08:14 2h 24m 46s
CI CI #2266: Scheduled
February 1, 2025 08:15 2h 19m 10s master
master
February 1, 2025 08:15 2h 19m 10s
CI CI #2265: Scheduled
January 31, 2025 08:16 2h 25m 47s master
master
January 31, 2025 08:16 2h 25m 47s
CI CI #2264: Scheduled
January 30, 2025 08:16 2h 22m 16s master
master
January 30, 2025 08:16 2h 22m 16s
CI CI #2263: Scheduled
January 29, 2025 08:17 2h 25m 23s master
master
January 29, 2025 08:17 2h 25m 23s
CI CI #2262: Scheduled
January 28, 2025 08:17 2h 19m 8s master
master
January 28, 2025 08:17 2h 19m 8s
Better versioning CI #2261: Commit b62084b pushed by JasonGross
January 27, 2025 21:30 8h 52m 29s master
master
January 27, 2025 21:30 8h 52m 29s
More feedback on version errors CI #2260: Commit 29d62d5 pushed by JasonGross
January 27, 2025 19:54 9h 31m 11s master
master
January 27, 2025 19:54 9h 31m 11s
Be more robust to renaming COQLIB to ROCQLIB CI #2259: Commit c54cd72 pushed by JasonGross
January 27, 2025 19:25 9h 59m 10s master
master
January 27, 2025 19:25 9h 59m 10s
Make it easier to see issues with coqlib in traceback CI #2258: Commit bc80c72 pushed by JasonGross
January 27, 2025 19:19 9h 23m 31s master
master
January 27, 2025 19:19 9h 23m 31s
Better version formatting CI #2257: Commit 94f8441 pushed by JasonGross
January 27, 2025 19:17 9h 20m 10s master
master
January 27, 2025 19:17 9h 20m 10s
CI CI #2256: Scheduled
January 27, 2025 08:18 9h 20m 16s master
master
January 27, 2025 08:18 9h 20m 16s
Use -boot -nois in more places (#248) CI #2255: Commit 759415f pushed by JasonGross
January 27, 2025 07:27 8h 49m 19s master
master
January 27, 2025 07:27 8h 49m 19s
Use -boot -nois in more places CI #2254: Pull request #248 synchronize by JasonGross
January 27, 2025 04:17 3h 9m 53s more-boot-nois
more-boot-nois
January 27, 2025 04:17 3h 9m 53s
Thread coqlib through coq running support (#246) CI #2253: Commit a887fbd pushed by JasonGross
January 27, 2025 04:02 8h 43m 9s master
master
January 27, 2025 04:02 8h 43m 9s
Use -boot -nois in more places CI #2252: Pull request #248 opened by JasonGross
January 26, 2025 23:17 6h 27m 41s more-boot-nois
more-boot-nois
January 26, 2025 23:17 6h 27m 41s
Thread coqlib through coq running support CI #2251: Pull request #246 synchronize by JasonGross
January 26, 2025 23:14 4h 47m 14s thread-coqlib
thread-coqlib
January 26, 2025 23:14 4h 47m 14s
Thread coqlib through coq running support CI #2250: Pull request #246 synchronize by JasonGross
January 26, 2025 23:08 1h 35m 41s thread-coqlib
thread-coqlib
January 26, 2025 23:08 1h 35m 41s
Thread coqlib through coq running support CI #2249: Pull request #246 synchronize by JasonGross
January 26, 2025 22:34 28m 30s thread-coqlib
thread-coqlib
January 26, 2025 22:34 28m 30s
Reorder coq_version.py to minimize future diff (#247) CI #2248: Commit 0222ff8 pushed by JasonGross
January 26, 2025 22:31 7h 23m 29s master
master
January 26, 2025 22:31 7h 23m 29s
Reorder coq_version.py to minimize future diff CI #2247: Pull request #247 synchronize by JasonGross
January 26, 2025 22:31 12m 23s reorder-coq_version
reorder-coq_version
January 26, 2025 22:31 12m 23s
Use -nois and -boot for modname validity checking (#245) CI #2246: Commit c59e0f7 pushed by JasonGross
January 26, 2025 20:53 6h 2m 40s master
master
January 26, 2025 20:53 6h 2m 40s
Factor out subprocess calls (#244) CI #2245: Commit cfbd514 pushed by JasonGross
January 26, 2025 17:24 4h 47m 37s master
master
January 26, 2025 17:24 4h 47m 37s
CI CI #2244: Scheduled
January 26, 2025 08:14 2h 45m 37s master
master
January 26, 2025 08:14 2h 45m 37s
Use -nois and -boot for modname validity checking CI #2243: Pull request #245 synchronize by JasonGross
January 26, 2025 07:01 13h 51m 24s modname-boot
modname-boot
January 26, 2025 07:01 13h 51m 24s