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

Automated Rust Crate Version Bump: Fri Sep 1 22:42:02 UTC 2023 a51ff… CI (Coq, opam) #646: Commit dba0b22 pushed by JasonGross
September 1, 2023 22:43 2h 10m 31s master
master
September 1, 2023 22:43 2h 10m 31s
Merge pull request #1646 from brycx/core-ops CI (Coq, opam) #645: Commit a51ff82 pushed by andres-erbsen
September 1, 2023 16:57 2h 37m 51s master
master
September 1, 2023 16:57 2h 37m 51s
Automated Rust Crate Version Bump: Thu Aug 31 04:03:47 UTC 2023 d1ce5… CI (Coq, opam) #644: Commit 8902dc2 pushed by JasonGross
September 1, 2023 15:31 2h 54m 18s master
master
September 1, 2023 15:31 2h 54m 18s
CI (Coq, opam) CI (Coq, opam) #643: Scheduled
September 1, 2023 01:04 3h 12m 15s master
master
September 1, 2023 01:04 3h 12m 15s
Log last BoringSSL commit in test-fiat-c-boringssl.sh CI (Coq, opam) #642: Commit d1ce5d8 pushed by andres-erbsen
August 29, 2023 20:57 2h 22m 29s master
master
August 29, 2023 20:57 2h 22m 29s
Rust: Create newtype structs for typedefs CI (Coq, opam) #641: Commit 3ca5339 pushed by andres-erbsen
August 29, 2023 03:04 2h 32m 13s master
master
August 29, 2023 03:04 2h 32m 13s
Pipe through carry_sub function (#1641) CI (Coq, opam) #640: Commit f0d8e9a pushed by andres-erbsen
August 26, 2023 01:51 2h 24m 0s master
master
August 26, 2023 01:51 2h 24m 0s
Bump rupicola from 3cd33c8 to 1c6bef7 (#1639) CI (Coq, opam) #639: Commit 5978c17 pushed by dependabot bot
August 25, 2023 05:18 2h 49m 47s master
master
August 25, 2023 05:18 2h 49m 47s
Use carry_add in AddPrecomputed CI (Coq, opam) #638: Commit 42e5455 pushed by andres-erbsen
August 19, 2023 00:25 2h 11m 5s master
master
August 19, 2023 00:25 2h 11m 5s
Pipe through carry_add function (#1635) CI (Coq, opam) #637: Commit b9bf8fe pushed by andres-erbsen
August 18, 2023 14:05 2h 52m 41s master
master
August 18, 2023 14:05 2h 52m 41s
Bump actions/setup-java from 3.11.0 to 3.12.0 (#1624) CI (Coq, opam) #636: Commit 248bf0c pushed by dependabot bot
August 17, 2023 06:03 2h 44m 57s master
master
August 17, 2023 06:03 2h 44m 57s
Merge pull request #1631 from samuelgruetter/bedrock2_complete_wp CI (Coq, opam) #635: Commit d0f0305 pushed by andres-erbsen
August 15, 2023 16:20 3h 0m 44s master
master
August 15, 2023 16:20 3h 0m 44s
Print more casts when stringification fails (#1634) CI (Coq, opam) #634: Commit 07de4cf pushed by JasonGross
August 15, 2023 02:27 11m 13s master
master
August 15, 2023 02:27 11m 13s
update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian CI (Coq, opam) #633: Commit eb9e5bc pushed by samuelgruetter
August 14, 2023 19:45 11m 22s master
master
August 14, 2023 19:45 11m 22s
Merge pull request #1632 from andres-erbsen/debian-ci CI (Coq, opam) #632: Commit ecfafcc pushed by andres-erbsen
August 11, 2023 18:13 15m 24s master
master
August 11, 2023 18:13 15m 24s
Qualifying M.eq coming from MontgomeryCurve. CI (Coq, opam) #631: Commit 60efd19 pushed by andres-erbsen
August 1, 2023 01:50 3h 36m 52s master
master
August 1, 2023 01:50 3h 36m 52s
CI (Coq, opam) CI (Coq, opam) #630: Scheduled
August 1, 2023 01:18 2h 36m 34s master
master
August 1, 2023 01:18 2h 36m 34s
Merge pull request #1622 from bMacSwigg/sandbox CI (Coq, opam) #629: Commit be2bfa6 pushed by andres-erbsen
July 22, 2023 00:45 2h 29m 31s master
master
July 22, 2023 00:45 2h 29m 31s
remove some dead code from garagedoor funcs, tidy CI (Coq, opam) #628: Commit 63a6ba4 pushed by andres-erbsen
July 11, 2023 00:58 2h 22m 1s master
master
July 11, 2023 00:58 2h 22m 1s
ProTip! You can narrow down the results and go further in time using created:<2023-07-11 or the other filters available.