Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, opam)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-opam-package.yml
294 workflow run results
294 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix publish.yml: Remove useless setup-rust-action CI (Coq, opam) #671: Commit 6d86dbe pushed by JasonGross
October 27, 2023 21:45 2h 30m 52s master
master
October 27, 2023 21:45 2h 30m 52s
[CI] Add checkout to test-rust-check-all CI (Coq, opam) #670: Commit 6f545e7 pushed by JasonGross
October 26, 2023 16:38 3h 15m 46s master
master
October 26, 2023 16:38 3h 15m 46s
Add test-rust-check-all for more stable branch protection checks CI (Coq, opam) #669: Commit b0bce1c pushed by JasonGross
October 26, 2023 16:27 2h 51m 27s master
master
October 26, 2023 16:27 2h 51m 27s
Bump rewriter from e2721fc to 2f9a755 (#1689) CI (Coq, opam) #668: Commit f334d24 pushed by JasonGross
October 25, 2023 00:26 3h 38m 43s master
master
October 25, 2023 00:26 3h 38m 43s
Bump etc/coq-scripts from 8b66ebe to 2df5dbe (#1684) CI (Coq, opam) #667: Commit 45ce51e pushed by JasonGross
October 25, 2023 00:10 2h 31m 23s master
master
October 25, 2023 00:10 2h 31m 23s
Bump coqprime from f611fa4 to d5935ca (#1686) CI (Coq, opam) #666: Commit 47b6d85 pushed by JasonGross
October 24, 2023 23:54 2h 23m 0s master
master
October 24, 2023 23:54 2h 23m 0s
Patch BoringSSL files for C tests (#1692) CI (Coq, opam) #665: Commit ad546c8 pushed by JasonGross
October 24, 2023 04:50 2h 24m 19s master
master
October 24, 2023 04:50 2h 24m 19s
rust: Replaces return an empty tuple by nothing (void). (#1670) CI (Coq, opam) #664: Commit 6d981bc pushed by JasonGross
October 7, 2023 01:55 2h 18m 13s master
master
October 7, 2023 01:55 2h 18m 13s
Bump rupicola from 6d4f40c to e6daa5e (#1678) CI (Coq, opam) #663: Commit bc8bace pushed by JasonGross
October 5, 2023 00:10 2h 32m 58s master
master
October 5, 2023 00:10 2h 32m 58s
Drop use of Pervasives (#1676) CI (Coq, opam) #662: Commit e161fc4 pushed by JasonGross
October 1, 2023 18:21 2h 47m 39s master
master
October 1, 2023 18:21 2h 47m 39s
rust: use doc comments. (#1668) CI (Coq, opam) #661: Commit 090e9fd pushed by JasonGross
October 1, 2023 15:02 2h 33m 27s master
master
October 1, 2023 15:02 2h 33m 27s
Bump actions/setup-java from 3.12.0 to 3.13.0 (#1665) CI (Coq, opam) #660: Commit 37dd5af pushed by JasonGross
October 1, 2023 05:06 4h 40m 31s master
master
October 1, 2023 05:06 4h 40m 31s
Bump coqprime from 431d7a6 to f611fa4 (#1667) CI (Coq, opam) #659: Commit e34a509 pushed by JasonGross
October 1, 2023 05:06 2h 25m 35s master
master
October 1, 2023 05:06 2h 25m 35s
CI (Coq, opam) CI (Coq, opam) #658: Scheduled
October 1, 2023 01:09 2h 27m 39s master
master
October 1, 2023 01:09 2h 27m 39s
Bump rewriter from 26f5c84 to e2721fc (#1673) CI (Coq, opam) #657: Commit 08c339c pushed by dependabot bot
September 27, 2023 00:55 3h 9m 39s master
master
September 27, 2023 00:55 3h 9m 39s
Bump etc/coq-scripts from 8ce1d5d to 8b66ebe (#1661) CI (Coq, opam) #656: Commit 85e0822 pushed by JasonGross
September 13, 2023 02:11 2h 55m 0s master
master
September 13, 2023 02:11 2h 55m 0s
Update TODO comment CI (Coq, opam) #655: Commit d06a05b pushed by andres-erbsen
September 12, 2023 15:23 2h 28m 33s master
master
September 12, 2023 15:23 2h 28m 33s
Stop relying on replace by automatic assumption-based solving (#1… CI (Coq, opam) #654: Commit 4bd2596 pushed by JasonGross
September 11, 2023 20:31 3h 6m 59s master
master
September 11, 2023 20:31 3h 6m 59s
Bump rupicola from 1c6bef7 to 6d4f40c CI (Coq, opam) #653: Commit 4b562eb pushed by andres-erbsen
September 9, 2023 19:42 2h 31m 56s master
master
September 9, 2023 19:42 2h 31m 56s
Bump rewriter from 9d2e4c9 to 26f5c84 (#1654) CI (Coq, opam) #652: Commit 0855b7e pushed by JasonGross
September 6, 2023 01:18 3h 15m 17s master
master
September 6, 2023 01:18 3h 15m 17s
Bump actions/checkout from 3 to 4 (#1653) CI (Coq, opam) #651: Commit 72b9af1 pushed by dependabot bot
September 5, 2023 23:10 2h 57m 45s master
master
September 5, 2023 23:10 2h 57m 45s
Bump hecrj/setup-rust-action from 1 to 2 (#1651) CI (Coq, opam) #650: Commit 36403e7 pushed by dependabot bot
September 5, 2023 08:18 2h 35m 8s master
master
September 5, 2023 08:18 2h 35m 8s
Rust: Add no_std CI (#1648) CI (Coq, opam) #649: Commit 217951e pushed by JasonGross
September 5, 2023 04:51 2h 22m 25s master
master
September 5, 2023 04:51 2h 22m 25s
Bump rewriter from c79bbc9 to 9d2e4c9 (#1649) CI (Coq, opam) #648: Commit 33921df pushed by dependabot bot
September 5, 2023 01:51 2h 42m 36s master
master
September 5, 2023 01:51 2h 42m 36s
Bump actions/checkout from 3 to 4 (#1652) CI (Coq, opam) #647: Commit 0bca21a pushed by dependabot bot
September 5, 2023 00:32 2h 37m 27s master
master
September 5, 2023 00:32 2h 37m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-09-05 or the other filters available.