Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Alpine)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-alpine.yml
248 workflow run results
248 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add web links to README (#1744) CI (Coq, Alpine) #189: Commit 9d5ea46 pushed by JasonGross
November 21, 2023 19:35 7h 59m 21s master
master
November 21, 2023 19:35 7h 59m 21s
[html] Handle undefined error messages CI (Coq, Alpine) #187: Commit 568622e pushed by JasonGross
November 21, 2023 19:34 7h 56m 2s master
master
November 21, 2023 19:34 7h 56m 2s
fetch history and tags for making version.js CI (Coq, Alpine) #186: Commit e5baf47 pushed by JasonGross
November 21, 2023 05:34 3h 32m 33s master
master
November 21, 2023 05:34 3h 32m 33s
bump rupicola (#1743) CI (Coq, Alpine) #185: Commit 22c0ab5 pushed by JasonGross
November 21, 2023 05:29 2h 53m 37s master
master
November 21, 2023 05:29 2h 53m 37s
zig: use "const" for variables that are never mutated (#1742) CI (Coq, Alpine) #184: Commit 7845de0 pushed by JasonGross
November 21, 2023 00:56 3h 33m 40s master
master
November 21, 2023 00:56 3h 33m 40s
Make install targets depend on vo files (#1741) CI (Coq, Alpine) #183: Commit 1ccb465 pushed by JasonGross
November 21, 2023 00:38 2h 55m 6s master
master
November 21, 2023 00:38 2h 55m 6s
Update coq-docker.yml: opam update before install js_of_ocaml CI (Coq, Alpine) #179: Commit b91816a pushed by JasonGross
November 20, 2023 19:03 2h 56m 34s master
master
November 20, 2023 19:03 2h 56m 34s
Test install target on CI (docker only) (#1733) CI (Coq, Alpine) #174: Commit 00a4b8e pushed by JasonGross
November 20, 2023 04:46 3h 1m 54s master
master
November 20, 2023 04:46 3h 1m 54s
Add a workflow_dispatch workflow for deploying html quickly CI (Coq, Alpine) #173: Commit a3ecf2a pushed by JasonGross
November 19, 2023 21:53 7h 25m 27s master
master
November 19, 2023 21:53 7h 25m 27s
Add a link to the web interface in the README CI (Coq, Alpine) #172: Commit da87ad6 pushed by JasonGross
November 19, 2023 21:42 6h 27m 27s master
master
November 19, 2023 21:42 6h 27m 27s
Use WebWorkers and add a cache (#1739) CI (Coq, Alpine) #171: Commit 41b5f92 pushed by JasonGross
November 19, 2023 21:21 5h 19m 9s master
master
November 19, 2023 21:21 5h 19m 9s
Add js_of_ocaml build and deployment (#1737) CI (Coq, Alpine) #169: Commit 4915831 pushed by JasonGross
November 19, 2023 20:45 5h 55m 15s master
master
November 19, 2023 20:45 5h 55m 15s
Add release shield to README.md CI (Coq, Alpine) #157: Commit 2f79c57 pushed by JasonGross
November 18, 2023 23:03 3h 14m 36s master
master
November 18, 2023 23:03 3h 14m 36s
Also print the program name in smoke test CI (Coq, Alpine) #142: Commit 2177d3e pushed by JasonGross
November 17, 2023 22:42 4h 25m 16s master
master
November 17, 2023 22:42 4h 25m 16s
Add etc/test-run-fiat-crypto, add opam --with-test CI (Coq, Alpine) #141: Commit 8d31848 pushed by JasonGross
November 17, 2023 22:40 2h 51m 41s master
master
November 17, 2023 22:40 2h 51m 41s
Test install target on CI (no docker) (#1734) CI (Coq, Alpine) #138: Commit fa68a25 pushed by JasonGross
November 16, 2023 23:39 2h 58m 7s master
master
November 16, 2023 23:39 2h 58m 7s
Automated Rust Crate Version Bump: Thu Nov 16 18:41:15 UTC 2023 28c36… CI (Coq, Alpine) #137: Commit 60b5d0e pushed by JasonGross
November 16, 2023 18:44 5h 6m 43s master
master
November 16, 2023 18:44 5h 6m 43s
[CI] [coq-docker] export CI=1 CI (Coq, Alpine) #133: Commit 28c3657 pushed by JasonGross
November 16, 2023 17:30 3h 53m 7s master
master
November 16, 2023 17:30 3h 53m 7s
Update .gitignore CI (Coq, Alpine) #130: Commit 463c9af pushed by JasonGross
November 16, 2023 07:00 2h 49m 1s master
master
November 16, 2023 07:00 2h 49m 1s
Provide standalone binaries (#1730) CI (Coq, Alpine) #128: Commit 5450a10 pushed by JasonGross
November 15, 2023 22:22 2h 48m 39s master
master
November 15, 2023 22:22 2h 48m 39s
Update Makefile.standalone: don't overwrite SELF CI (Coq, Alpine) #125: Commit a0085a8 pushed by JasonGross
November 15, 2023 15:01 2h 36m 47s master
master
November 15, 2023 15:01 2h 36m 47s
Automated Rust Crate Version Bump: Tue Nov 14 14:33:51 UTC 2023 1e8ee… CI (Coq, Alpine) #114: Commit 4f53772 pushed by JasonGross
November 14, 2023 14:35 3h 5m 36s master
master
November 14, 2023 14:35 3h 5m 36s
Only upload one copy of linux binaries to releases (#1721) CI (Coq, Alpine) #112: Commit 1e8ee80 pushed by JasonGross
November 14, 2023 09:55 4h 21m 26s master
master
November 14, 2023 09:55 4h 21m 26s
rust: Include documentation comments for type alias. (#1669) CI (Coq, Alpine) #111: Commit 4e7dde9 pushed by JasonGross
November 14, 2023 08:02 4h 11m 17s master
master
November 14, 2023 08:02 4h 11m 17s
Adapt to coq/coq#18273 (Ltac2 supports head reduction) (#1725) CI (Coq, Alpine) #110: Commit 6551f87 pushed by JasonGross
November 14, 2023 07:03 4h 26m 11s master
master
November 14, 2023 07:03 4h 26m 11s