Skip to content

Actions: miriampolzer/bedrock2

Actions

CI (Coq, Debian)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
debian.yml
13 workflow runs
13 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CI (Coq, Debian) CI (Coq, Debian) #13: Scheduled
40m 5s master
master
40m 5s
Bump deps/coqutil from 6644c13 to 99f8ed4 (#518) CI (Coq, Debian) #12: Commit dfa0b8c pushed by miriampolzer
40m 57s master
master
40m 57s
CI (Coq, Debian) CI (Coq, Debian) #11: Scheduled
39m 40s master
master
39m 40s
Add cswap function to examples (#512) CI (Coq, Debian) #10: Commit ca9b09a pushed by miriampolzer
46m 52s master
master
46m 52s
Bump deps/coqutil from fa7e209 to c124f9c (#510) CI (Coq, Debian) #9: Commit 4c2bf2c pushed by miriampolzer
39m 46s master
master
39m 46s
CI (Coq, Debian) CI (Coq, Debian) #8: Scheduled
41m 4s master
master
41m 4s
CI (Coq, Debian) CI (Coq, Debian) #7: Scheduled
40m 45s master
master
40m 45s
Bump deps/coqutil from 22c2e09 to f595ddf (#504) CI (Coq, Debian) #6: Commit 84cff99 pushed by miriampolzer
40m 47s master
master
40m 47s
CI (Coq, Debian) CI (Coq, Debian) #5: Scheduled
40m 43s master
master
40m 43s
CI (Coq, Debian) CI (Coq, Debian) #4: Scheduled
41m 28s master
master
41m 28s
CI (Coq, Debian) CI (Coq, Debian) #3: Scheduled
41m 2s master
master
41m 2s
import memcpy from fiat-crypto (#491) CI (Coq, Debian) #2: Commit 84cfff9 pushed by miriampolzer
41m 43s master
master
41m 43s
Use parallel make in coq-docker (#488) CI (Coq, Debian) #1: Commit 218e428 pushed by miriampolzer
43m 59s master
master
43m 59s