Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, docker, dev)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
78 workflow run results
78 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump rewriter from 5b13cd7 to 5e74224 (#1702) CI (Coq, docker, dev) #790: Commit 3737c92 pushed by JasonGross
November 7, 2023 15:33 11m 17s master
master
November 7, 2023 15:33 11m 17s
Adapt to https://github.com/coq/coq/pull/17576 (#1698) CI (Coq, docker, dev) #780: Commit e4b57b2 pushed by JasonGross
November 3, 2023 22:13 7h 11m 3s master
master
November 3, 2023 22:13 7h 11m 3s
Bump rewriter from 2f9a755 to 5b13cd7 (#1697) CI (Coq, docker, dev) #778: Commit 5f1aae0 pushed by JasonGross
November 3, 2023 08:10 7h 23m 15s master
master
November 3, 2023 08:10 7h 23m 15s
gcc --version, not gcc -v CI (Coq, docker, dev) #773: Commit 0596415 pushed by JasonGross
November 1, 2023 02:48 7h 56m 43s master
master
November 1, 2023 02:48 7h 56m 43s
CI (Coq, docker, dev) CI (Coq, docker, dev) #770: Scheduled
November 1, 2023 01:11 6h 24m 36s master
master
November 1, 2023 01:11 6h 24m 36s
Optimize & fix Edwards XYZT operations CI (Coq, docker, dev) #766: Commit dfc358d pushed by andres-erbsen
October 28, 2023 06:16 7h 0m 3s master
master
October 28, 2023 06:16 7h 0m 3s
Automated Rust Crate Version Bump: Fri Oct 27 21:47:56 UTC 2023 6d86d… CI (Coq, docker, dev) #765: Commit fba598d pushed by JasonGross
October 27, 2023 21:56 10h 18m 58s master
master
October 27, 2023 21:56 10h 18m 58s
Fix publish.yml: Remove useless setup-rust-action CI (Coq, docker, dev) #764: Commit 6d86dbe pushed by JasonGross
October 27, 2023 21:45 8h 12m 37s master
master
October 27, 2023 21:45 8h 12m 37s
[CI] Add checkout to test-rust-check-all CI (Coq, docker, dev) #761: Commit 6f545e7 pushed by JasonGross
October 26, 2023 16:38 7h 5m 27s master
master
October 26, 2023 16:38 7h 5m 27s
Add test-rust-check-all for more stable branch protection checks CI (Coq, docker, dev) #759: Commit b0bce1c pushed by JasonGross
October 26, 2023 16:27 6h 54m 27s master
master
October 26, 2023 16:27 6h 54m 27s
Bump rewriter from e2721fc to 2f9a755 (#1689) CI (Coq, docker, dev) #756: Commit f334d24 pushed by JasonGross
October 25, 2023 00:26 8h 17m 18s master
master
October 25, 2023 00:26 8h 17m 18s
Bump etc/coq-scripts from 8b66ebe to 2df5dbe (#1684) CI (Coq, docker, dev) #755: Commit 45ce51e pushed by JasonGross
October 25, 2023 00:10 8h 29m 26s master
master
October 25, 2023 00:10 8h 29m 26s
Bump coqprime from f611fa4 to d5935ca (#1686) CI (Coq, docker, dev) #754: Commit 47b6d85 pushed by JasonGross
October 24, 2023 23:54 8h 10m 18s master
master
October 24, 2023 23:54 8h 10m 18s
Patch BoringSSL files for C tests (#1692) CI (Coq, docker, dev) #749: Commit ad546c8 pushed by JasonGross
October 24, 2023 04:50 8h 0m 40s master
master
October 24, 2023 04:50 8h 0m 40s
rust: Replaces return an empty tuple by nothing (void). (#1670) CI (Coq, docker, dev) #738: Commit 6d981bc pushed by JasonGross
October 7, 2023 01:55 8h 40m 57s master
master
October 7, 2023 01:55 8h 40m 57s
Bump rupicola from 6d4f40c to e6daa5e (#1678) CI (Coq, docker, dev) #734: Commit bc8bace pushed by JasonGross
October 5, 2023 00:10 7h 39m 23s master
master
October 5, 2023 00:10 7h 39m 23s
Drop use of Pervasives (#1676) CI (Coq, docker, dev) #731: Commit e161fc4 pushed by JasonGross
October 1, 2023 18:21 7h 1m 17s master
master
October 1, 2023 18:21 7h 1m 17s
rust: use doc comments. (#1668) CI (Coq, docker, dev) #730: Commit 090e9fd pushed by JasonGross
October 1, 2023 15:02 6h 49m 29s master
master
October 1, 2023 15:02 6h 49m 29s
Bump actions/setup-java from 3.12.0 to 3.13.0 (#1665) CI (Coq, docker, dev) #728: Commit 37dd5af pushed by JasonGross
October 1, 2023 05:06 10h 0m 45s master
master
October 1, 2023 05:06 10h 0m 45s
Bump coqprime from 431d7a6 to f611fa4 (#1667) CI (Coq, docker, dev) #727: Commit e34a509 pushed by JasonGross
October 1, 2023 05:06 10h 26m 14s master
master
October 1, 2023 05:06 10h 26m 14s
CI (Coq, docker, dev) CI (Coq, docker, dev) #721: Scheduled
October 1, 2023 01:15 7h 2m 53s master
master
October 1, 2023 01:15 7h 2m 53s
Bump rewriter from 26f5c84 to e2721fc (#1673) CI (Coq, docker, dev) #720: Commit 08c339c pushed by dependabot bot
September 27, 2023 00:55 7h 40m 51s master
master
September 27, 2023 00:55 7h 40m 51s
Bump etc/coq-scripts from 8ce1d5d to 8b66ebe (#1661) CI (Coq, docker, dev) #709: Commit 85e0822 pushed by JasonGross
September 13, 2023 02:11 7h 34m 42s master
master
September 13, 2023 02:11 7h 34m 42s
Update TODO comment CI (Coq, docker, dev) #707: Commit d06a05b pushed by andres-erbsen
September 12, 2023 15:23 8h 14m 9s master
master
September 12, 2023 15:23 8h 14m 9s
Stop relying on replace by automatic assumption-based solving (#1… CI (Coq, docker, dev) #706: Commit 4bd2596 pushed by JasonGross
September 11, 2023 20:31 6h 50m 34s master
master
September 11, 2023 20:31 6h 50m 34s