Skip to content

Actions: JasonGross/coq-tools

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
633 workflow runs
633 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use -nois and -boot for modname validity checking CI #2225: Pull request #245 opened by JasonGross
January 26, 2025 04:46 Queued modname-boot
modname-boot
January 26, 2025 04:46 Queued
Add --coqlib, --passing-coqlib CI #2224: Pull request #243 synchronize by JasonGross
January 26, 2025 04:13 Queued coqlib-arg
coqlib-arg
January 26, 2025 04:13 Queued
Factor out subprocess calls CI #2223: Pull request #244 opened by JasonGross
January 26, 2025 04:09 Queued factor-subprocess
factor-subprocess
January 26, 2025 04:09 Queued
Add --coqlib, --passing-coqlib CI #2222: Pull request #243 synchronize by JasonGross
January 26, 2025 03:45 Queued coqlib-arg
coqlib-arg
January 26, 2025 03:45 Queued
Include more errors in the log CI #2221: Commit cb70d5f pushed by JasonGross
January 26, 2025 03:43 Queued master
master
January 26, 2025 03:43 Queued
Add --coqlib, --passing-coqlib CI #2220: Pull request #243 synchronize by JasonGross
January 26, 2025 03:36 Queued coqlib-arg
coqlib-arg
January 26, 2025 03:36 Queued
3.7 no longer exists on ubuntu-latest CI #2219: Commit 65e0924 pushed by JasonGross
January 26, 2025 03:35 Queued master
master
January 26, 2025 03:35 Queued
Add --coqlib, --passing-coqlib CI #2218: Pull request #243 opened by JasonGross
January 26, 2025 03:28 1h 28m 12s coqlib-arg
coqlib-arg
January 26, 2025 03:28 1h 28m 12s
CI CI #2217: Scheduled
January 25, 2025 08:15 1h 32m 44s master
master
January 25, 2025 08:15 1h 32m 44s
Explicitly group coqlib as having an argument even if help fails CI #2216: Commit 61dc542 pushed by JasonGross
January 25, 2025 00:11 1h 39m 15s master
master
January 25, 2025 00:11 1h 39m 15s
CI CI #2215: Scheduled
January 24, 2025 08:17 2h 19m 26s master
master
January 24, 2025 08:17 2h 19m 26s
CI CI #2214: Scheduled
January 23, 2025 08:17 2h 30m 33s master
master
January 23, 2025 08:17 2h 30m 33s
CI CI #2213: Scheduled
January 22, 2025 08:17 2h 21m 44s master
master
January 22, 2025 08:17 2h 21m 44s
CI CI #2212: Scheduled
January 21, 2025 08:17 2h 26m 12s master
master
January 21, 2025 08:17 2h 26m 12s
CI CI #2211: Scheduled
January 20, 2025 08:18 2h 31m 55s master
master
January 20, 2025 08:18 2h 31m 55s
CI CI #2210: Scheduled
January 19, 2025 08:14 2h 19m 52s master
master
January 19, 2025 08:14 2h 19m 52s
CI CI #2209: Scheduled
January 18, 2025 08:14 2h 19m 44s master
master
January 18, 2025 08:14 2h 19m 44s
CI CI #2208: Scheduled
January 17, 2025 08:16 2h 0m 53s master
master
January 17, 2025 08:16 2h 0m 53s
CI CI #2207: Scheduled
January 16, 2025 08:16 2h 21m 51s master
master
January 16, 2025 08:16 2h 21m 51s
CI CI #2206: Scheduled
January 15, 2025 08:16 2h 34m 11s master
master
January 15, 2025 08:16 2h 34m 11s
CI CI #2205: Scheduled
January 14, 2025 08:17 2h 32m 26s master
master
January 14, 2025 08:17 2h 32m 26s
CI CI #2204: Scheduled
January 13, 2025 08:18 2h 34m 45s master
master
January 13, 2025 08:18 2h 34m 45s
CI CI #2203: Scheduled
January 12, 2025 08:15 2h 25m 24s master
master
January 12, 2025 08:15 2h 25m 24s
CI CI #2202: Scheduled
January 11, 2025 08:15 2h 26m 9s master
master
January 11, 2025 08:15 2h 26m 9s
CI CI #2201: Scheduled
January 10, 2025 08:17 2h 35m 19s master
master
January 10, 2025 08:17 2h 35m 19s