Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, docker, dev)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-docker.yml
223 workflow run results
223 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge MontgomeryEquivalence into MontgomeryLadder, use in GaragDoor (… CI (Coq, docker, dev) #418: Commit 9378552 pushed by andres-erbsen
March 30, 2024 07:05 4h 1m 51s master
master
March 30, 2024 07:05 4h 1m 51s
Update coq-docker.yml: Bump binaryen vesion (#1842) CI (Coq, docker, dev) #416: Commit b8f7dc8 pushed by JasonGross
March 30, 2024 01:48 4h 2m 2s master
master
March 30, 2024 01:48 4h 2m 2s
Use etc/ci/github-actions-make.sh on alpine (#1838) CI (Coq, docker, dev) #415: Commit 33e9ac8 pushed by JasonGross
March 29, 2024 21:41 4h 23m 49s master
master
March 29, 2024 21:41 4h 23m 49s
Use pwd in reportify-coq to fix build in submodules CI (Coq, docker, dev) #411: Commit 0698071 pushed by JasonGross
March 22, 2024 19:09 6h 32m 41s master
master
March 22, 2024 19:09 6h 32m 41s
Fix apk installation command in README CI (Coq, docker, dev) #410: Commit 50d02e4 pushed by JasonGross
March 22, 2024 18:53 6h 29m 14s master
master
March 22, 2024 18:53 6h 29m 14s
Bump rewriter from 21b82e9 to 1cd64f2 (#1840) CI (Coq, docker, dev) #409: Commit e4a366d pushed by JasonGross
March 22, 2024 18:30 6h 20m 11s master
master
March 22, 2024 18:30 6h 20m 11s
Automated Rust Crate Version Bump: Wed Mar 20 01:54:53 UTC 2024 d1c3f… CI (Coq, docker, dev) #406: Commit cf73a05 pushed by JasonGross
March 20, 2024 02:53 5h 20m 9s master
master
March 20, 2024 02:53 5h 20m 9s
Bump actions/setup-java from 4.1.0 to 4.2.1 (#1836) CI (Coq, docker, dev) #403: Commit d1c3f42 pushed by JasonGross
March 19, 2024 22:37 6h 59m 19s master
master
March 19, 2024 22:37 6h 59m 19s
Bump rupicola from e047275 to 7259f52 (#1835) CI (Coq, docker, dev) #402: Commit f432f17 pushed by JasonGross
March 19, 2024 22:36 6h 28m 28s master
master
March 19, 2024 22:36 6h 28m 28s
Add apk instructions to README CI (Coq, docker, dev) #399: Commit a8816f0 pushed by JasonGross
March 19, 2024 05:32 7h 16m 42s master
master
March 19, 2024 05:32 7h 16m 42s
Print more info on alpine CI (Coq, docker, dev) #398: Commit 3767aab pushed by JasonGross
March 19, 2024 05:23 6h 31m 37s master
master
March 19, 2024 05:23 6h 31m 37s
Bump actions/setup-java from 4.0.0 to 4.1.0 (#1824) CI (Coq, docker, dev) #396: Commit e5778af pushed by JasonGross
March 19, 2024 04:33 6h 58m 4s master
master
March 19, 2024 04:33 6h 58m 4s
Bump etc/coq-scripts from 7b54b75 to 5876e80 (#1829) CI (Coq, docker, dev) #391: Commit db33791 pushed by JasonGross
March 14, 2024 19:13 4h 1m 21s master
master
March 14, 2024 19:13 4h 1m 21s
CI (Coq, docker, dev) CI (Coq, docker, dev) #388: by andres-erbsen
March 1, 2024 15:51 4h 2m 54s master
master
March 1, 2024 15:51 4h 2m 54s
CI (Coq, docker, dev) CI (Coq, docker, dev) #387: Scheduled
March 1, 2024 00:45 3h 58m 17s master
master
March 1, 2024 00:45 3h 58m 17s
Adapt to https://github.com/coq/coq/pull/18590 (#1821) CI (Coq, docker, dev) #383: Commit 8c2ee91 pushed by JasonGross
February 19, 2024 03:02 3h 59m 19s master
master
February 19, 2024 03:02 3h 59m 19s
Bump rewriter from 3342e29 to 21b82e9 (#1819) CI (Coq, docker, dev) #381: Commit 0e22c51 pushed by JasonGross
February 16, 2024 01:39 3h 56m 50s master
master
February 16, 2024 01:39 3h 56m 50s
This repository requires Coq 8.18 or later. CI (Coq, docker, dev) #378: Commit 9eb0f5e pushed by andres-erbsen
February 6, 2024 23:25 3h 55m 4s master
master
February 6, 2024 23:25 3h 55m 4s
bump rupicola (requires Coq >= 8.18) (#1818) CI (Coq, docker, dev) #377: Commit 61388ca pushed by andres-erbsen
February 6, 2024 15:22 3h 54m 36s master
master
February 6, 2024 15:22 3h 54m 36s
Automated Rust Crate Version Bump: Mon Feb 5 05:33:23 UTC 2024 7b2b7… CI (Coq, docker, dev) #375: Commit 4194a48 pushed by JasonGross
February 5, 2024 15:56 3h 57m 3s master
master
February 5, 2024 15:56 3h 57m 3s
Bump ammaraskar/gcc-problem-matcher from 0.2.0 to 0.3.0 (#1810) CI (Coq, docker, dev) #373: Commit 7b2b728 pushed by JasonGross
February 5, 2024 02:23 7h 8m 52s master
master
February 5, 2024 02:23 7h 8m 52s
Bump rewriter from ff800d3 to 3342e29 (#1815) CI (Coq, docker, dev) #372: Commit c11c7b5 pushed by JasonGross
February 5, 2024 02:23 6h 46m 29s master
master
February 5, 2024 02:23 6h 46m 29s
Bump peter-evans/create-pull-request from 5 to 6 (#1816) CI (Coq, docker, dev) #371: Commit cc39594 pushed by JasonGross
February 5, 2024 02:23 6h 19m 6s master
master
February 5, 2024 02:23 6h 19m 6s
CI (Coq, docker, dev) CI (Coq, docker, dev) #370: Scheduled
February 1, 2024 00:43 3h 58m 8s master
master
February 1, 2024 00:43 3h 58m 8s
adapt to coq/coq#18563 (#1814) CI (Coq, docker, dev) #367: Commit 9a8e71b pushed by andres-erbsen
January 31, 2024 00:21 3h 54m 39s master
master
January 31, 2024 00:21 3h 54m 39s