Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, docker, dev)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-docker.yml
223 workflow run results
223 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add wasm_of_ocaml build (#1747) CI (Coq, docker, dev) #176: Commit d0e5b2f pushed by JasonGross
November 24, 2023 20:37 4h 23m 17s master
master
November 24, 2023 20:37 4h 23m 17s
[CI] Remove hopefully-useless --dry-run make install (#1751) CI (Coq, docker, dev) #166: Commit c74c06a pushed by JasonGross
November 24, 2023 08:27 3h 54m 46s master
master
November 24, 2023 08:27 3h 54m 46s
Split up coq-docker job a lot (#1746) CI (Coq, docker, dev) #161: Commit 13f75b9 pushed by JasonGross
November 24, 2023 02:53 4h 52m 49s master
master
November 24, 2023 02:53 4h 52m 49s
[html] Use case-insensitive regex CI (Coq, docker, dev) #158: Commit 7e94f02 pushed by JasonGross
November 23, 2023 20:49 9h 6m 28s master
master
November 23, 2023 20:49 9h 6m 28s
Print out js_of_ocaml version with system config CI (Coq, docker, dev) #154: Commit f34da1c pushed by JasonGross
November 23, 2023 19:32 9h 38m 51s master
master
November 23, 2023 19:32 9h 38m 51s
More informative describe-system-config CI (Coq, docker, dev) #151: Commit 01765a3 pushed by JasonGross
November 23, 2023 18:56 8h 48m 36s master
master
November 23, 2023 18:56 8h 48m 36s
[html] Better error reporting CI (Coq, docker, dev) #150: Commit 889394d pushed by JasonGross
November 23, 2023 04:48 8h 34m 43s master
master
November 23, 2023 04:48 8h 34m 43s
[html] Add missing ; CI (Coq, docker, dev) #148: Commit acdc244 pushed by JasonGross
November 23, 2023 03:34 8h 24m 34s master
master
November 23, 2023 03:34 8h 24m 34s
Revert "Comment out install-dev test" (#1740) CI (Coq, docker, dev) #142: Commit 9cfa42b pushed by JasonGross
November 23, 2023 03:19 7h 26m 30s master
master
November 23, 2023 03:19 7h 26m 30s
Bump rupicola from f51d83b to 705bde5 (#1745) CI (Coq, docker, dev) #135: Commit bb86041 pushed by dependabot bot
November 22, 2023 23:27 1h 58m 38s master
master
November 22, 2023 23:27 1h 58m 38s
Wrap errors to work around webworkers not handling onerror correctly? CI (Coq, docker, dev) #133: Commit 2d0a173 pushed by JasonGross
November 21, 2023 22:26 10h 12m 42s master
master
November 21, 2023 22:26 10h 12m 42s
Move cached string to the end of the message CI (Coq, docker, dev) #132: Commit b5447a2 pushed by JasonGross
November 21, 2023 19:47 11h 20m 35s master
master
November 21, 2023 19:47 11h 20m 35s
Add missing space CI (Coq, docker, dev) #131: Commit 4eebf31 pushed by JasonGross
November 21, 2023 19:46 10h 11m 55s master
master
November 21, 2023 19:46 10h 11m 55s
[html] Don't carry localStorage cache across version updates CI (Coq, docker, dev) #130: Commit 9f1394d pushed by JasonGross
November 21, 2023 19:38 10h 6m 45s master
master
November 21, 2023 19:38 10h 6m 45s
Add web links to README (#1744) CI (Coq, docker, dev) #129: Commit 9d5ea46 pushed by JasonGross
November 21, 2023 19:35 10h 1m 24s master
master
November 21, 2023 19:35 10h 1m 24s
[html] Handle undefined error messages CI (Coq, docker, dev) #127: Commit 568622e pushed by JasonGross
November 21, 2023 19:34 9h 55m 20s master
master
November 21, 2023 19:34 9h 55m 20s
fetch history and tags for making version.js CI (Coq, docker, dev) #126: Commit e5baf47 pushed by JasonGross
November 21, 2023 05:34 6h 57m 19s master
master
November 21, 2023 05:34 6h 57m 19s
bump rupicola (#1743) CI (Coq, docker, dev) #125: Commit 22c0ab5 pushed by JasonGross
November 21, 2023 05:29 5h 41m 45s master
master
November 21, 2023 05:29 5h 41m 45s
zig: use "const" for variables that are never mutated (#1742) CI (Coq, docker, dev) #124: Commit 7845de0 pushed by JasonGross
November 21, 2023 00:56 6h 40m 20s master
master
November 21, 2023 00:56 6h 40m 20s
Make install targets depend on vo files (#1741) CI (Coq, docker, dev) #123: Commit 1ccb465 pushed by JasonGross
November 21, 2023 00:38 6h 18m 5s master
master
November 21, 2023 00:38 6h 18m 5s
Update coq-docker.yml: opam update before install js_of_ocaml CI (Coq, docker, dev) #119: Commit b91816a pushed by JasonGross
November 20, 2023 19:03 5h 45m 32s master
master
November 20, 2023 19:03 5h 45m 32s
Test install target on CI (docker only) (#1733) CI (Coq, docker, dev) #114: Commit 00a4b8e pushed by JasonGross
November 20, 2023 04:46 6h 1m 11s master
master
November 20, 2023 04:46 6h 1m 11s
Add a workflow_dispatch workflow for deploying html quickly CI (Coq, docker, dev) #113: Commit a3ecf2a pushed by JasonGross
November 19, 2023 21:53 10h 3m 58s master
master
November 19, 2023 21:53 10h 3m 58s
Add a link to the web interface in the README CI (Coq, docker, dev) #112: Commit da87ad6 pushed by JasonGross
November 19, 2023 21:42 9h 6m 55s master
master
November 19, 2023 21:42 9h 6m 55s
Use WebWorkers and add a cache (#1739) CI (Coq, docker, dev) #111: Commit 41b5f92 pushed by JasonGross
November 19, 2023 21:21 8h 4m 10s master
master
November 19, 2023 21:21 8h 4m 10s