Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, docker, dev)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
19 workflow run results
19 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automated Rust Crate Version Bump: Fri Sep 1 22:42:02 UTC 2023 a51ff… CI (Coq, docker, dev) #675: Commit dba0b22 pushed by JasonGross
September 1, 2023 22:43 7h 8m 26s master
master
September 1, 2023 22:43 7h 8m 26s
Merge pull request #1646 from brycx/core-ops CI (Coq, docker, dev) #674: Commit a51ff82 pushed by andres-erbsen
September 1, 2023 16:57 8h 44m 8s master
master
September 1, 2023 16:57 8h 44m 8s
Automated Rust Crate Version Bump: Thu Aug 31 04:03:47 UTC 2023 d1ce5… CI (Coq, docker, dev) #673: Commit 8902dc2 pushed by JasonGross
September 1, 2023 15:31 6h 43m 19s master
master
September 1, 2023 15:31 6h 43m 19s
CI (Coq, docker, dev) CI (Coq, docker, dev) #671: Scheduled
September 1, 2023 01:10 6h 43m 17s master
master
September 1, 2023 01:10 6h 43m 17s
Log last BoringSSL commit in test-fiat-c-boringssl.sh CI (Coq, docker, dev) #670: Commit d1ce5d8 pushed by andres-erbsen
August 29, 2023 20:57 6h 44m 2s master
master
August 29, 2023 20:57 6h 44m 2s
Rust: Create newtype structs for typedefs CI (Coq, docker, dev) #668: Commit 3ca5339 pushed by andres-erbsen
August 29, 2023 03:04 7h 36m 33s master
master
August 29, 2023 03:04 7h 36m 33s
Pipe through carry_sub function (#1641) CI (Coq, docker, dev) #666: Commit f0d8e9a pushed by andres-erbsen
August 26, 2023 01:51 7h 46m 3s master
master
August 26, 2023 01:51 7h 46m 3s
Bump rupicola from 3cd33c8 to 1c6bef7 (#1639) CI (Coq, docker, dev) #663: Commit 5978c17 pushed by dependabot bot
August 25, 2023 05:18 6h 42m 41s master
master
August 25, 2023 05:18 6h 42m 41s
Use carry_add in AddPrecomputed CI (Coq, docker, dev) #653: Commit 42e5455 pushed by andres-erbsen
August 19, 2023 00:25 7h 23m 9s master
master
August 19, 2023 00:25 7h 23m 9s
Pipe through carry_add function (#1635) CI (Coq, docker, dev) #650: Commit b9bf8fe pushed by andres-erbsen
August 18, 2023 14:05 6h 5m 1s master
master
August 18, 2023 14:05 6h 5m 1s
Bump actions/setup-java from 3.11.0 to 3.12.0 (#1624) CI (Coq, docker, dev) #648: Commit 248bf0c pushed by dependabot bot
August 17, 2023 06:03 7h 21m 46s master
master
August 17, 2023 06:03 7h 21m 46s
Merge pull request #1631 from samuelgruetter/bedrock2_complete_wp CI (Coq, docker, dev) #644: Commit d0f0305 pushed by andres-erbsen
August 15, 2023 16:20 7h 30m 5s master
master
August 15, 2023 16:20 7h 30m 5s
Print more casts when stringification fails (#1634) CI (Coq, docker, dev) #643: Commit 07de4cf pushed by JasonGross
August 15, 2023 02:27 7h 17m 19s master
master
August 15, 2023 02:27 7h 17m 19s
update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian CI (Coq, docker, dev) #640: Commit eb9e5bc pushed by samuelgruetter
August 14, 2023 19:45 7h 17m 19s master
master
August 14, 2023 19:45 7h 17m 19s
Merge pull request #1632 from andres-erbsen/debian-ci CI (Coq, docker, dev) #638: Commit ecfafcc pushed by andres-erbsen
August 11, 2023 18:13 6h 45m 48s master
master
August 11, 2023 18:13 6h 45m 48s
Qualifying M.eq coming from MontgomeryCurve. CI (Coq, docker, dev) #595: Commit 60efd19 pushed by andres-erbsen
August 1, 2023 01:50 8h 44m 58s master
master
August 1, 2023 01:50 8h 44m 58s
CI (Coq, docker, dev) CI (Coq, docker, dev) #594: Scheduled
August 1, 2023 01:26 7h 25m 31s master
master
August 1, 2023 01:26 7h 25m 31s
Merge pull request #1622 from bMacSwigg/sandbox CI (Coq, docker, dev) #575: Commit be2bfa6 pushed by andres-erbsen
July 22, 2023 00:45 8h 7m 22s master
master
July 22, 2023 00:45 8h 7m 22s
remove some dead code from garagedoor funcs, tidy CI (Coq, docker, dev) #572: Commit 63a6ba4 pushed by andres-erbsen
July 11, 2023 00:58 6h 21m 33s master
master
July 11, 2023 00:58 6h 21m 33s