Skip to content

Actions: JasonGross/coq-tools

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
670 workflow runs
670 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #2136: Scheduled
November 17, 2024 08:15 2h 25m 40s master
master
November 17, 2024 08:15 2h 25m 40s
CI CI #2135: Scheduled
November 16, 2024 08:16 7h 56m 5s master
master
November 16, 2024 08:16 7h 56m 5s
CI CI #2134: Scheduled
November 15, 2024 08:17 2h 32m 57s master
master
November 15, 2024 08:17 2h 32m 57s
CI CI #2133: Scheduled
November 14, 2024 08:17 2h 32m 43s master
master
November 14, 2024 08:17 2h 32m 43s
CI CI #2132: Scheduled
November 13, 2024 08:17 2h 30m 59s master
master
November 13, 2024 08:17 2h 30m 59s
CI CI #2131: Scheduled
November 12, 2024 08:17 2h 29m 3s master
master
November 12, 2024 08:17 2h 29m 3s
CI CI #2130: Scheduled
November 11, 2024 08:17 2h 30m 3s master
master
November 11, 2024 08:17 2h 30m 3s
CI CI #2129: Scheduled
November 10, 2024 08:14 2h 19m 33s master
master
November 10, 2024 08:14 2h 19m 33s
CI CI #2128: Scheduled
November 9, 2024 08:15 2h 19m 30s master
master
November 9, 2024 08:15 2h 19m 30s
CI CI #2127: Scheduled
November 8, 2024 08:16 2h 22m 50s master
master
November 8, 2024 08:16 2h 22m 50s
CI CI #2126: Scheduled
November 7, 2024 08:16 2h 26m 23s master
master
November 7, 2024 08:16 2h 26m 23s
CI CI #2125: Scheduled
November 6, 2024 08:17 11h 31m 54s master
master
November 6, 2024 08:17 11h 31m 54s
CI CI #2124: Scheduled
November 5, 2024 08:17 10h 37m 57s master
master
November 5, 2024 08:17 10h 37m 57s
CI CI #2123: Scheduled
November 4, 2024 08:18 2h 29m 4s master
master
November 4, 2024 08:18 2h 29m 4s
CI CI #2122: Scheduled
November 3, 2024 09:15 1h 21m 41s master
master
November 3, 2024 09:15 1h 21m 41s
CI CI #2121: Scheduled
November 2, 2024 08:16 2h 8m 49s master
master
November 2, 2024 08:16 2h 8m 49s
CI CI #2120: Scheduled
November 1, 2024 08:17 2h 21m 6s master
master
November 1, 2024 08:17 2h 21m 6s
CI CI #2119: Scheduled
October 31, 2024 08:16 2h 27m 5s master
master
October 31, 2024 08:16 2h 27m 5s
CI CI #2118: Scheduled
October 30, 2024 08:19 2h 27m 41s master
master
October 30, 2024 08:19 2h 27m 41s
CI CI #2117: Scheduled
October 29, 2024 08:17 2h 21m 15s master
master
October 29, 2024 08:17 2h 21m 15s
CI CI #2116: Scheduled
October 28, 2024 08:18 2h 56m 55s master
master
October 28, 2024 08:18 2h 56m 55s
CI CI #2115: Scheduled
October 27, 2024 08:17 4h 56m 18s master
master
October 27, 2024 08:17 4h 56m 18s
CI CI #2114: Scheduled
October 26, 2024 08:15 13h 17m 0s master
master
October 26, 2024 08:15 13h 17m 0s
Hopeful compatibility with coq/coq#19599 (#239) CI #2113: Commit 6f29d5f pushed by JasonGross
October 25, 2024 13:14 8h 6m 45s master
master
October 25, 2024 13:14 8h 6m 45s
CI CI #2112: Scheduled
October 25, 2024 08:17 12h 39m 40s master
master
October 25, 2024 08:17 12h 39m 40s