Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, docker, dev)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
329 workflow runs
329 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add packaging for standalone files CI (Coq, docker, dev) #832: Pull request #1710 synchronize by JasonGross
November 10, 2023 00:03 6h 36m 52s JasonGross:standalone-package
JasonGross:standalone-package
November 10, 2023 00:03 6h 36m 52s
Upload standalone binaries to release pages CI (Coq, docker, dev) #831: Pull request #1711 synchronize by JasonGross
November 9, 2023 23:42 21m 51s JasonGross:standalone-package-extra
JasonGross:standalone-package-extra
November 9, 2023 23:42 21m 51s
Add packaging for standalone files CI (Coq, docker, dev) #830: Pull request #1710 synchronize by JasonGross
November 9, 2023 23:40 22m 54s JasonGross:standalone-package
JasonGross:standalone-package
November 9, 2023 23:40 22m 54s
Add packaging for standalone files CI (Coq, docker, dev) #829: Pull request #1710 synchronize by JasonGross
November 9, 2023 23:39 2m 20s JasonGross:standalone-package
JasonGross:standalone-package
November 9, 2023 23:39 2m 20s
Upload standalone binaries to release pages CI (Coq, docker, dev) #828: Pull request #1711 opened by JasonGross
November 9, 2023 20:54 2h 22m 13s JasonGross:standalone-package-extra
JasonGross:standalone-package-extra
November 9, 2023 20:54 2h 22m 13s
Add packaging for standalone files CI (Coq, docker, dev) #827: Pull request #1710 opened by JasonGross
November 9, 2023 19:54 3h 41m 50s JasonGross:standalone-package
JasonGross:standalone-package
November 9, 2023 19:54 3h 41m 50s
add Alpine CI CI (Coq, docker, dev) #826: Pull request #1625 synchronize by JasonGross
November 9, 2023 19:19 5h 46m 46s test-alpine
test-alpine
November 9, 2023 19:19 5h 46m 46s
Bump rupicola from 0e001bb to 3691f9a CI (Coq, docker, dev) #825: Pull request #1709 synchronize by JasonGross
November 9, 2023 19:05 5h 6m 26s dependabot/submodules/rupicola-3691f9a
dependabot/submodules/rupicola-3691f9a
November 9, 2023 19:05 5h 6m 26s
Drop CI testing of 8.16 (#1708) CI (Coq, docker, dev) #824: Commit 1097f58 pushed by JasonGross
November 9, 2023 19:05 6h 17m 42s master
master
November 9, 2023 19:05 6h 17m 42s
Bump rupicola from 0e001bb to 3691f9a CI (Coq, docker, dev) #823: Pull request #1709 opened by dependabot bot
November 9, 2023 16:27 2h 39m 24s dependabot/submodules/rupicola-3691f9a
dependabot/submodules/rupicola-3691f9a
November 9, 2023 16:27 2h 39m 24s
Drop CI testing of 8.16 CI (Coq, docker, dev) #822: Pull request #1708 synchronize by JasonGross
November 9, 2023 06:29 8h 11m 12s JasonGross:drop-8.16
JasonGross:drop-8.16
November 9, 2023 06:29 8h 11m 12s
[CI] [opam] Try to fix outdated opam repos CI (Coq, docker, dev) #821: Commit b255107 pushed by JasonGross
November 9, 2023 06:23 9h 27m 18s master
master
November 9, 2023 06:23 9h 27m 18s
Drop CI testing of 8.16 CI (Coq, docker, dev) #820: Pull request #1708 synchronize by JasonGross
November 9, 2023 06:07 22m 17s JasonGross:drop-8.16
JasonGross:drop-8.16
November 9, 2023 06:07 22m 17s
[CI] [opam] Use opam depext CI (Coq, docker, dev) #819: Commit 03d4e06 pushed by JasonGross
November 9, 2023 05:52 8h 41m 30s master
master
November 9, 2023 05:52 8h 41m 30s
Drop CI testing of 8.16 CI (Coq, docker, dev) #818: Pull request #1708 synchronize by JasonGross
November 9, 2023 05:50 17m 55s JasonGross:drop-8.16
JasonGross:drop-8.16
November 9, 2023 05:50 17m 55s
Drop CI testing of 8.16 CI (Coq, docker, dev) #817: Pull request #1708 synchronize by JasonGross
November 9, 2023 05:13 36m 55s JasonGross:drop-8.16
JasonGross:drop-8.16
November 9, 2023 05:13 36m 55s
Also test 8.18 on opam CI (Coq, docker, dev) #816: Commit 7d64e77 pushed by JasonGross
November 9, 2023 05:10 6h 41m 52s master
master
November 9, 2023 05:10 6h 41m 52s
Drop CI testing of 8.16 CI (Coq, docker, dev) #815: Pull request #1708 synchronize by JasonGross
November 9, 2023 03:47 1h 31m 44s JasonGross:drop-8.16
JasonGross:drop-8.16
November 9, 2023 03:47 1h 31m 44s
Drop CI testing of 8.16 CI (Coq, docker, dev) #814: Pull request #1708 synchronize by JasonGross
November 8, 2023 23:52 3h 55m 24s JasonGross:drop-8.16
JasonGross:drop-8.16
November 8, 2023 23:52 3h 55m 24s
[CI] Add debian-check-all for easier branch protection CI (Coq, docker, dev) #813: Commit 4986a73 pushed by JasonGross
November 8, 2023 23:52 7h 7m 21s master
master
November 8, 2023 23:52 7h 7m 21s
Drop CI testing of 8.16 CI (Coq, docker, dev) #812: Pull request #1708 synchronize by JasonGross
November 8, 2023 23:51 1m 47s JasonGross:drop-8.16
JasonGross:drop-8.16
November 8, 2023 23:51 1m 47s
Drop CI testing of 8.16 CI (Coq, docker, dev) #811: Pull request #1708 opened by JasonGross
November 8, 2023 23:50 42s JasonGross:drop-8.16
JasonGross:drop-8.16
November 8, 2023 23:50 42s
Rust Crate Version Bump (#1707) CI (Coq, docker, dev) #810: Commit 101c960 pushed by JasonGross
November 8, 2023 23:47 5h 10m 20s master
master
November 8, 2023 23:47 5h 10m 20s
Bump rewriter from 5e74224 to 5d274d2 (#1704) CI (Coq, docker, dev) #809: Commit 3aafcfd pushed by dependabot bot
November 8, 2023 15:43 6h 30m 26s master
master
November 8, 2023 15:43 6h 30m 26s
Bump etc/coq-scripts from 2df5dbe to d3dc888 (#1701) CI (Coq, docker, dev) #808: Commit 98a56ab pushed by dependabot bot
November 8, 2023 15:03 5h 42m 46s master
master
November 8, 2023 15:03 5h 42m 46s