Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, docker, dev)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
346 workflow runs
346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump coqprime from 6c225a2 to 845c00c CI (Coq, docker, dev) #932: Pull request #1985 opened by dependabot bot
November 7, 2024 08:50 35m 0s dependabot/submodules/sp2019latest/coqprime-845c00c
dependabot/submodules/sp2019latest/coqprime-845c00c
November 7, 2024 08:50 35m 0s
Require Import ZArith before using it in ModularArithmeticTheorems.v CI (Coq, docker, dev) #931: Commit 2eb8752 pushed by andres-erbsen
November 3, 2024 17:14 35m 20s sp2019latest
sp2019latest
November 3, 2024 17:14 35m 20s
Require Import ZArith before using it in ModularArithmeticTheorems.v (for coq/coq#19801) CI (Coq, docker, dev) #930: Pull request #1979 opened by andres-erbsen
November 3, 2024 16:39 34m 52s andres-erbsen:less-ZArith_base-legacy
andres-erbsen:less-ZArith_base-legacy
November 3, 2024 16:39 34m 52s
Bump etc/coq-scripts from e4d9e81 to 4327aa1 CI (Coq, docker, dev) #929: Pull request #1973 opened by dependabot bot
October 9, 2024 08:06 1h 39m 10s dependabot/submodules/sp2019latest/etc/coq-scripts-4327aa1
dependabot/submodules/sp2019latest/etc/coq-scripts-4327aa1
October 9, 2024 08:06 1h 39m 10s
Adapt to https://github.com/coq/coq/pull/19530 (#1964) CI (Coq, docker, dev) #928: Commit 8626c2e pushed by JasonGross
September 21, 2024 02:43 3h 39m 57s sp2019latest
sp2019latest
September 21, 2024 02:43 3h 39m 57s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, docker, dev) #927: Pull request #1964 synchronize by JasonGross
September 21, 2024 01:48 54m 47s proux01:stdlib_repo_legacy
proux01:stdlib_repo_legacy
September 21, 2024 01:48 54m 47s
Update docker-coq.yml: remove needless code CI (Coq, docker, dev) #926: Commit c3b4c4d pushed by JasonGross
September 21, 2024 01:48 54m 18s sp2019latest
sp2019latest
September 21, 2024 01:48 54m 18s
Install python-is-python3 in github-actions-docker-make.sh CI (Coq, docker, dev) #925: Commit 39d8e29 pushed by JasonGross
September 21, 2024 01:48 53m 24s sp2019latest
sp2019latest
September 21, 2024 01:48 53m 24s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, docker, dev) #924: Pull request #1964 synchronize by JasonGross
September 20, 2024 21:38 45m 42s proux01:stdlib_repo_legacy
proux01:stdlib_repo_legacy
September 20, 2024 21:38 45m 42s
python-is-python3, not python3-is-python CI (Coq, docker, dev) #923: Commit 8404184 pushed by JasonGross
September 20, 2024 21:38 45m 58s sp2019latest
sp2019latest
September 20, 2024 21:38 45m 58s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, docker, dev) #922: Pull request #1964 synchronize by JasonGross
September 20, 2024 18:18 7m 36s proux01:stdlib_repo_legacy
proux01:stdlib_repo_legacy
September 20, 2024 18:18 7m 36s
install python3-is-python CI (Coq, docker, dev) #921: Commit 8e4d30e pushed by JasonGross
September 20, 2024 18:01 1m 51s sp2019latest
sp2019latest
September 20, 2024 18:01 1m 51s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, docker, dev) #920: Pull request #1964 opened by proux01
September 20, 2024 10:45 1h 56m 0s proux01:stdlib_repo_legacy
proux01:stdlib_repo_legacy
September 20, 2024 10:45 1h 56m 0s
Adapt w.r.t. coq/coq#19228. (#1933) CI (Coq, docker, dev) #919: Commit 9ce24ee pushed by JasonGross
July 27, 2024 14:44 34m 54s sp2019latest
sp2019latest
July 27, 2024 14:44 34m 54s
Adapt w.r.t. coq/coq#19228. CI (Coq, docker, dev) #918: Pull request #1933 opened by ppedrot
July 27, 2024 10:59 34m 36s ppedrot:template-no-sup-constraint
ppedrot:template-no-sup-constraint
July 27, 2024 10:59 34m 36s
compatibility with coq/coq#19310 (#1929) CI (Coq, docker, dev) #917: Commit d31276b pushed by JasonGross
July 13, 2024 18:32 34m 57s sp2019latest
sp2019latest
July 13, 2024 18:32 34m 57s
[sp2019latest] (partial) compatibility with coq/coq#19310 CI (Coq, docker, dev) #916: Pull request #1929 opened by JasonGross
July 13, 2024 17:56 35m 59s sp2019latest+stdlib-hack
sp2019latest+stdlib-hack
July 13, 2024 17:56 35m 59s
Bump coqprime from d5935ca to 6c225a2 CI (Coq, docker, dev) #915: Pull request #1916 opened by dependabot bot
June 3, 2024 08:12 37m 5s dependabot/submodules/sp2019latest/coqprime-6c225a2
dependabot/submodules/sp2019latest/coqprime-6c225a2
June 3, 2024 08:12 37m 5s
Bump etc/coq-scripts from 857071d to e4d9e81 CI (Coq, docker, dev) #914: Pull request #1897 opened by dependabot bot
May 9, 2024 09:01 2h 4m 10s dependabot/submodules/sp2019latest/etc/coq-scripts-e4d9e81
dependabot/submodules/sp2019latest/etc/coq-scripts-e4d9e81
May 9, 2024 09:01 2h 4m 10s
Adapt w.r.t. coq/coq#18909. (#1884) CI (Coq, docker, dev) #913: Commit 3ffde27 pushed by andres-erbsen
April 18, 2024 17:12 36m 47s sp2019latest
sp2019latest
April 18, 2024 17:12 36m 47s
Adapt w.r.t. coq/coq#18909. CI (Coq, docker, dev) #912: Pull request #1884 opened by ppedrot
April 18, 2024 16:22 36m 55s ppedrot:hint-using-strict-globref
ppedrot:hint-using-strict-globref
April 18, 2024 16:22 36m 55s
Do not use Ndigits in NUtil (coq/coq #18936) (#1876) CI (Coq, docker, dev) #911: Commit 72ba7f1 pushed by andres-erbsen
April 17, 2024 02:33 6h 51m 6s sp2019latest
sp2019latest
April 17, 2024 02:33 6h 51m 6s
Update dependabot-automerge.yml: fix typo CI (Coq, docker, dev) #910: Commit a8ad7e8 pushed by JasonGross
April 17, 2024 00:34 8h 13m 14s sp2019latest
sp2019latest
April 17, 2024 00:34 8h 13m 14s
Create dependabot-automerge.yml (#1879) CI (Coq, docker, dev) #909: Commit 85d1d09 pushed by JasonGross
April 17, 2024 00:31 8h 14m 31s sp2019latest
sp2019latest
April 17, 2024 00:31 8h 14m 31s
[sp2019latest] Create dependabot-automerge.yml CI (Coq, docker, dev) #908: Pull request #1879 opened by JasonGross
April 17, 2024 00:30 8h 12m 28s JasonGross-patch-2
JasonGross-patch-2
April 17, 2024 00:30 8h 12m 28s