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 runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump rewriter from 21b82e9 to 1cd64f2 (#1840) CI (Coq, opam) #821: Commit e4a366d pushed by JasonGross
March 22, 2024 18:30 1h 31m 45s master
master
March 22, 2024 18:30 1h 31m 45s
Automated Rust Crate Version Bump: Wed Mar 20 01:54:53 UTC 2024 d1c3f… CI (Coq, opam) #820: Commit cf73a05 pushed by JasonGross
March 20, 2024 02:53 2h 44m 15s master
master
March 20, 2024 02:53 2h 44m 15s
Bump actions/setup-java from 4.1.0 to 4.2.1 (#1836) CI (Coq, opam) #819: Commit d1c3f42 pushed by JasonGross
March 19, 2024 22:37 2h 29m 1s master
master
March 19, 2024 22:37 2h 29m 1s
Bump rupicola from e047275 to 7259f52 (#1835) CI (Coq, opam) #818: Commit f432f17 pushed by JasonGross
March 19, 2024 22:36 1h 35m 15s master
master
March 19, 2024 22:36 1h 35m 15s
Add apk instructions to README CI (Coq, opam) #817: Commit a8816f0 pushed by JasonGross
March 19, 2024 05:32 4h 36m 31s master
master
March 19, 2024 05:32 4h 36m 31s
Print more info on alpine CI (Coq, opam) #816: Commit 3767aab pushed by JasonGross
March 19, 2024 05:23 3h 9m 15s master
master
March 19, 2024 05:23 3h 9m 15s
Bump actions/setup-java from 4.0.0 to 4.1.0 (#1824) CI (Coq, opam) #815: Commit e5778af pushed by JasonGross
March 19, 2024 04:33 1h 54m 28s master
master
March 19, 2024 04:33 1h 54m 28s
Bump etc/coq-scripts from 7b54b75 to 5876e80 (#1829) CI (Coq, opam) #814: Commit db33791 pushed by JasonGross
March 14, 2024 19:13 1h 32m 47s master
master
March 14, 2024 19:13 1h 32m 47s
CI (Coq, opam) CI (Coq, opam) #813: by andres-erbsen
March 1, 2024 15:51 1h 34m 8s master
master
March 1, 2024 15:51 1h 34m 8s
CI (Coq, opam) CI (Coq, opam) #812: Scheduled
March 1, 2024 01:07 1h 33m 24s master
master
March 1, 2024 01:07 1h 33m 24s
Adapt to https://github.com/coq/coq/pull/18590 (#1821) CI (Coq, opam) #811: Commit 8c2ee91 pushed by JasonGross
February 19, 2024 03:02 1h 34m 42s master
master
February 19, 2024 03:02 1h 34m 42s
Bump rewriter from 3342e29 to 21b82e9 (#1819) CI (Coq, opam) #810: Commit 0e22c51 pushed by JasonGross
February 16, 2024 01:39 1h 34m 51s master
master
February 16, 2024 01:39 1h 34m 51s
This repository requires Coq 8.18 or later. CI (Coq, opam) #809: Commit 9eb0f5e pushed by andres-erbsen
February 6, 2024 23:25 1h 33m 11s master
master
February 6, 2024 23:25 1h 33m 11s
bump rupicola (requires Coq >= 8.18) (#1818) CI (Coq, opam) #808: Commit 61388ca pushed by andres-erbsen
February 6, 2024 15:22 1h 34m 46s master
master
February 6, 2024 15:22 1h 34m 46s
Automated Rust Crate Version Bump: Mon Feb 5 05:33:23 UTC 2024 7b2b7… CI (Coq, opam) #807: Commit 4194a48 pushed by JasonGross
February 5, 2024 15:56 1h 35m 43s master
master
February 5, 2024 15:56 1h 35m 43s
Bump ammaraskar/gcc-problem-matcher from 0.2.0 to 0.3.0 (#1810) CI (Coq, opam) #806: Commit 7b2b728 pushed by JasonGross
February 5, 2024 02:23 3h 47m 23s master
master
February 5, 2024 02:23 3h 47m 23s
Bump rewriter from ff800d3 to 3342e29 (#1815) CI (Coq, opam) #805: Commit c11c7b5 pushed by JasonGross
February 5, 2024 02:23 2h 11m 57s master
master
February 5, 2024 02:23 2h 11m 57s
Bump peter-evans/create-pull-request from 5 to 6 (#1816) CI (Coq, opam) #804: Commit cc39594 pushed by JasonGross
February 5, 2024 02:23 1h 39m 32s master
master
February 5, 2024 02:23 1h 39m 32s
CI (Coq, opam) CI (Coq, opam) #803: Scheduled
February 1, 2024 01:05 1h 36m 22s master
master
February 1, 2024 01:05 1h 36m 22s
adapt to coq/coq#18563 (#1814) CI (Coq, opam) #802: Commit 9a8e71b pushed by andres-erbsen
January 31, 2024 00:21 1h 34m 46s master
master
January 31, 2024 00:21 1h 34m 46s
Bump rupicola from 90a9655 to 9f17f7c (#1811, coq/coq#18564) CI (Coq, opam) #801: Commit f59b538 pushed by andres-erbsen
January 30, 2024 00:53 1h 36m 4s master
master
January 30, 2024 00:53 1h 36m 4s
Fix DCE/Subst01 to work under lambdas (#1809) CI (Coq, opam) #800: Commit 922fb56 pushed by JasonGross
January 23, 2024 04:03 1h 34m 47s master
master
January 23, 2024 04:03 1h 34m 47s
Cache intermediate values for Edwards addition (#1808) CI (Coq, opam) #799: Commit 16b3666 pushed by andres-erbsen
January 20, 2024 03:09 1h 35m 49s master
master
January 20, 2024 03:09 1h 35m 49s
Drop alpine workaround (#1796) CI (Coq, opam) #798: Commit f55fdb1 pushed by JasonGross
January 5, 2024 01:19 1h 35m 43s master
master
January 5, 2024 01:19 1h 35m 43s
Bump rewriter from c0328db to de9f96d (#1805) CI (Coq, opam) #797: Commit 87e8737 pushed by JasonGross
January 4, 2024 19:17 1h 40m 54s master
master
January 4, 2024 19:17 1h 40m 54s