Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Debian)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-debian.yml
1,017 workflow runs
1,017 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian CI (Coq, Debian) #42: Pull request #1633 opened by samuelgruetter
August 12, 2023 19:10 9h 2m 49s drop8.15
drop8.15
August 12, 2023 19:10 9h 2m 49s
Merge pull request #1632 from andres-erbsen/debian-ci CI (Coq, Debian) #41: Commit ecfafcc pushed by andres-erbsen
August 11, 2023 18:13 7h 38m 33s master
master
August 11, 2023 18:13 7h 38m 33s
Debian CI CI (Coq, Debian) #40: Pull request #1632 synchronize by andres-erbsen
August 11, 2023 14:24 7h 43m 30s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 11, 2023 14:24 7h 43m 30s
Debian CI CI (Coq, Debian) #39: Pull request #1632 synchronize by andres-erbsen
August 11, 2023 14:22 2m 1s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 11, 2023 14:22 2m 1s
Debian CI CI (Coq, Debian) #38: Pull request #1632 synchronize by andres-erbsen
August 11, 2023 14:19 4m 13s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 11, 2023 14:19 4m 13s
Debian CI CI (Coq, Debian) #37: Pull request #1632 synchronize by andres-erbsen
August 11, 2023 14:12 2m 5s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 11, 2023 14:12 2m 5s
Debian CI CI (Coq, Debian) #36: Pull request #1632 synchronize by andres-erbsen
August 11, 2023 14:07 2m 13s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 11, 2023 14:07 2m 13s
Debian CI CI (Coq, Debian) #35: Pull request #1632 synchronize by andres-erbsen
August 11, 2023 14:04 2m 16s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 11, 2023 14:04 2m 16s
Debian CI CI (Coq, Debian) #34: Pull request #1632 synchronize by andres-erbsen
August 11, 2023 12:59 2m 32s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 11, 2023 12:59 2m 32s
Debian CI CI (Coq, Debian) #33: Pull request #1632 synchronize by andres-erbsen
August 10, 2023 22:29 2m 23s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 10, 2023 22:29 2m 23s
Debian CI CI (Coq, Debian) #32: Pull request #1632 synchronize by andres-erbsen
August 10, 2023 22:25 2m 30s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 10, 2023 22:25 2m 30s
Debian CI CI (Coq, Debian) #31: Pull request #1632 synchronize by andres-erbsen
August 10, 2023 22:08 2m 26s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 10, 2023 22:08 2m 26s
Debian CI CI (Coq, Debian) #30: Pull request #1632 synchronize by andres-erbsen
August 9, 2023 16:11 7h 33m 27s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 9, 2023 16:11 7h 33m 27s
Debian CI CI (Coq, Debian) #29: Pull request #1632 synchronize by andres-erbsen
August 8, 2023 21:29 8h 39m 16s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 8, 2023 21:29 8h 39m 16s
Debian CI CI (Coq, Debian) #28: Pull request #1632 synchronize by andres-erbsen
August 8, 2023 11:16 4h 27m 43s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 8, 2023 11:16 4h 27m 43s
Debian CI CI (Coq, Debian) #27: Pull request #1632 synchronize by andres-erbsen
August 8, 2023 01:53 3h 52m 28s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 8, 2023 01:53 3h 52m 28s
Debian CI CI (Coq, Debian) #26: Pull request #1632 synchronize by andres-erbsen
August 7, 2023 20:01 4h 37m 41s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 7, 2023 20:01 4h 37m 41s
Debian CI CI (Coq, Debian) #25: Pull request #1632 synchronize by andres-erbsen
August 7, 2023 19:57 3m 51s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 7, 2023 19:57 3m 51s
Debian CI CI (Coq, Debian) #24: Pull request #1632 synchronize by andres-erbsen
August 7, 2023 18:31 52m 59s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 7, 2023 18:31 52m 59s
Debian CI CI (Coq, Debian) #23: Pull request #1632 synchronize by andres-erbsen
August 7, 2023 18:27 2m 39s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 7, 2023 18:27 2m 39s
Debian CI CI (Coq, Debian) #22: Pull request #1632 synchronize by andres-erbsen
August 7, 2023 18:25 1m 16s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 7, 2023 18:25 1m 16s
Debian CI CI (Coq, Debian) #21: Pull request #1632 synchronize by andres-erbsen
August 7, 2023 17:42 42m 52s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 7, 2023 17:42 42m 52s
Debian CI CI (Coq, Debian) #20: Pull request #1632 synchronize by andres-erbsen
August 7, 2023 17:14 2m 32s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 7, 2023 17:14 2m 32s
Debian CI CI (Coq, Debian) #19: Pull request #1632 synchronize by andres-erbsen
August 7, 2023 17:06 2m 52s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 7, 2023 17:06 2m 52s
Debian CI CI (Coq, Debian) #18: Pull request #1632 synchronize by andres-erbsen
August 7, 2023 17:01 2m 46s andres-erbsen:debian-ci
andres-erbsen:debian-ci
August 7, 2023 17:01 2m 46s
ProTip! You can narrow down the results and go further in time using created:<2023-08-07 or the other filters available.