Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Alpine)

Actions

Loading...

Show workflow options

Create status badge

coq-alpine.yml
653 workflow runs
653 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Statically link alpine binaries: -ccopt -static CI (Coq, Alpine) #53: Pull request #1718 opened by JasonGross
November 12, 2023 00:40 4h 37m 7s JasonGross:standalone-package-static
JasonGross:standalone-package-static
November 12, 2023 00:40 4h 37m 7s
Allow passing CAMLEXTRAFLAGS for standalone build CI (Coq, Alpine) #52: Pull request #1717 opened by JasonGross
November 12, 2023 00:39 3h 30m 24s JasonGross:camlextraflags
JasonGross:camlextraflags
November 12, 2023 00:39 3h 30m 24s
Upload standalone binaries to release pages CI (Coq, Alpine) #51: Pull request #1711 synchronize by JasonGross
November 11, 2023 23:55 3h 32m 56s JasonGross:standalone-package-extra
JasonGross:standalone-package-extra
November 11, 2023 23:55 3h 32m 56s
Upload standalone binaries to release pages CI (Coq, Alpine) #50: Pull request #1711 synchronize by JasonGross
November 11, 2023 23:41 15m 16s JasonGross:standalone-package-extra
JasonGross:standalone-package-extra
November 11, 2023 23:41 15m 16s
Add packaging for standalone files CI (Coq, Alpine) #49: Pull request #1710 synchronize by JasonGross
November 11, 2023 23:38 4h 12m 18s JasonGross:standalone-package
JasonGross:standalone-package
November 11, 2023 23:38 4h 12m 18s
Model coq-alpine after coq-debian (#1712) CI (Coq, Alpine) #48: Commit 47379ed pushed by JasonGross
November 11, 2023 22:29 4h 58m 28s master
master
November 11, 2023 22:29 4h 58m 28s
Model coq-alpine after coq-debian CI (Coq, Alpine) #47: Pull request #1712 synchronize by JasonGross
November 11, 2023 16:41 3h 33m 46s JasonGross:alpine-more
JasonGross:alpine-more
November 11, 2023 16:41 3h 33m 46s
Update coq-windows.yml CI (Coq, Alpine) #46: Commit bce9e1c pushed by JasonGross
November 11, 2023 10:23 8h 11m 34s master
master
November 11, 2023 10:23 8h 11m 34s
Update coq-windows.yml to echo build params better hopefully CI (Coq, Alpine) #45: Commit a456d3b pushed by JasonGross
November 11, 2023 10:21 6h 36m 50s master
master
November 11, 2023 10:21 6h 36m 50s
Update describe-system-config.sh CI (Coq, Alpine) #44: Commit 5f9487c pushed by JasonGross
November 11, 2023 10:19 6h 5m 24s master
master
November 11, 2023 10:19 6h 5m 24s
Add packaging for standalone files CI (Coq, Alpine) #43: Pull request #1710 synchronize by JasonGross
November 11, 2023 06:29 9h 34m 9s JasonGross:standalone-package
JasonGross:standalone-package
November 11, 2023 06:29 9h 34m 9s
Upload standalone binaries to release pages CI (Coq, Alpine) #42: Pull request #1711 synchronize by JasonGross
November 11, 2023 06:25 9h 18m 37s JasonGross:standalone-package-extra
JasonGross:standalone-package-extra
November 11, 2023 06:25 9h 18m 37s
Model coq-alpine after coq-debian CI (Coq, Alpine) #41: Pull request #1712 synchronize by JasonGross
November 11, 2023 06:19 9h 43m 25s JasonGross:alpine-more
JasonGross:alpine-more
November 11, 2023 06:19 9h 43m 25s
Slightly better describe-system-config CI (Coq, Alpine) #40: Commit 2b0b55c pushed by JasonGross
November 11, 2023 06:05 5h 41m 19s master
master
November 11, 2023 06:05 5h 41m 19s
Make etc/ci/describe-system-config.sh POSIX-compliant (#1715) CI (Coq, Alpine) #39: Commit 5200386 pushed by JasonGross
November 11, 2023 05:52 5h 53m 24s master
master
November 11, 2023 05:52 5h 53m 24s
Make etc/ci/describe-system-config.sh POSIX-compliant CI (Coq, Alpine) #38: Pull request #1715 synchronize by JasonGross
November 10, 2023 23:31 6h 16m 23s JasonGross:posix-system-config
JasonGross:posix-system-config
November 10, 2023 23:31 6h 16m 23s
POSIX-compliant github-actions-display-per-line-timing.sh (#1716) CI (Coq, Alpine) #37: Commit 2beaa25 pushed by JasonGross
November 10, 2023 23:28 6h 19m 46s master
master
November 10, 2023 23:28 6h 19m 46s
Bump actions/checkout from 3 to 4 (#1714) CI (Coq, Alpine) #36: Commit ebace1b pushed by dependabot bot
November 10, 2023 23:27 6h 10m 49s master
master
November 10, 2023 23:27 6h 10m 49s
Make etc/ci/describe-system-config.sh POSIX-compliant CI (Coq, Alpine) #35: Pull request #1715 synchronize by JasonGross
November 10, 2023 23:26 4h 44m 9s JasonGross:posix-system-config
JasonGross:posix-system-config
November 10, 2023 23:26 4h 44m 9s
Upload standalone binaries to release pages CI (Coq, Alpine) #34: Pull request #1711 synchronize by JasonGross
November 10, 2023 23:22 7h 37m 54s JasonGross:standalone-package-extra
JasonGross:standalone-package-extra
November 10, 2023 23:22 7h 37m 54s
Add packaging for standalone files CI (Coq, Alpine) #33: Pull request #1710 synchronize by JasonGross
November 10, 2023 21:13 8h 24m 30s JasonGross:standalone-package
JasonGross:standalone-package
November 10, 2023 21:13 8h 24m 30s
Model coq-alpine after coq-debian CI (Coq, Alpine) #32: Pull request #1712 synchronize by JasonGross
November 10, 2023 21:12 8h 19m 7s JasonGross:alpine-more
JasonGross:alpine-more
November 10, 2023 21:12 8h 19m 7s
POSIX-compliant github-actions-display-per-line-timing.sh CI (Coq, Alpine) #31: Pull request #1716 opened by JasonGross
November 10, 2023 20:47 2h 39m 6s JasonGross:posix-per-line
JasonGross:posix-per-line
November 10, 2023 20:47 2h 39m 6s
Make etc/ci/describe-system-config.sh POSIX-compliant CI (Coq, Alpine) #30: Pull request #1715 opened by JasonGross
November 10, 2023 20:44 3h 34m 15s JasonGross:posix-system-config
JasonGross:posix-system-config
November 10, 2023 20:44 3h 34m 15s
Adapt to coq/coq#18280 (case relevance outside case info) (#1713) CI (Coq, Alpine) #29: Commit f45602a pushed by JasonGross
November 10, 2023 19:13 4h 4m 25s master
master
November 10, 2023 19:13 4h 4m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-11-10 or the other filters available.