Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Debian)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-debian.yml
1,017 workflow runs
1,017 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Work around issue with brew and opam (#1989) CI (Coq, Debian) #1033: Commit a16b32f pushed by JasonGross
November 21, 2024 02:30 3h 2m 49s master
master
November 21, 2024 02:30 3h 2m 49s
[CI] [opam] [MacOS] fix kludge for pkg-conf CI (Coq, Debian) #1032: Commit f6ce925 pushed by JasonGross
November 20, 2024 22:04 4h 24m 20s master
master
November 20, 2024 22:04 4h 24m 20s
Work around issue with brew and opam CI (Coq, Debian) #1031: Pull request #1989 synchronize by JasonGross
November 20, 2024 22:03 3h 13m 13s fix-macos
fix-macos
November 20, 2024 22:03 3h 13m 13s
[CI] [opam] Work around MacOS / opam / brew issue CI (Coq, Debian) #1030: Commit 78208bd pushed by JasonGross
November 20, 2024 19:33 4h 48m 11s master
master
November 20, 2024 19:33 4h 48m 11s
Work around issue with brew and opam CI (Coq, Debian) #1029: Pull request #1989 opened by JasonGross
November 20, 2024 19:31 3h 4m 50s fix-macos
fix-macos
November 20, 2024 19:31 3h 4m 50s
Bump rewriter from edd0611 to 8ab716a (#1988) CI (Coq, Debian) #1028: Commit c97b7a1 pushed by JasonGross
November 20, 2024 19:28 4h 53m 2s master
master
November 20, 2024 19:28 4h 53m 2s
Bump rewriter from edd0611 to 8ab716a CI (Coq, Debian) #1027: Pull request #1988 opened by dependabot bot
November 20, 2024 06:53 3h 19m 19s dependabot/submodules/rewriter-8ab716a
dependabot/submodules/rewriter-8ab716a
November 20, 2024 06:53 3h 19m 19s
Bump coqprime from 6c225a2 to 845c00c CI (Coq, Debian) #1026: Pull request #1984 synchronize by JasonGross
November 11, 2024 15:41 3h 6m 9s dependabot/submodules/coqprime-845c00c
dependabot/submodules/coqprime-845c00c
November 11, 2024 15:41 3h 6m 9s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 CI (Coq, Debian) #1025: Pull request #1987 synchronize by JasonGross
November 11, 2024 15:41 3h 9m 40s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
November 11, 2024 15:41 3h 9m 40s
Fix wasm_of_ocaml version, hopefully (#1986) CI (Coq, Debian) #1024: Commit e61d78e pushed by JasonGross
November 11, 2024 08:21 3h 7m 46s master
master
November 11, 2024 08:21 3h 7m 46s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 CI (Coq, Debian) #1023: Pull request #1987 opened by dependabot bot
November 11, 2024 04:39 3h 12m 33s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
November 11, 2024 04:39 3h 12m 33s
Fix wasm_of_ocaml version, hopefully CI (Coq, Debian) #1022: Pull request #1986 opened by JasonGross
November 11, 2024 04:32 3h 6m 55s fix-wasm
fix-wasm
November 11, 2024 04:32 3h 6m 55s
Bump coqprime from 6c225a2 to 845c00c CI (Coq, Debian) #1021: Pull request #1984 opened by dependabot bot
November 7, 2024 08:36 3h 11m 29s dependabot/submodules/coqprime-845c00c
dependabot/submodules/coqprime-845c00c
November 7, 2024 08:36 3h 11m 29s
Bump rewriter from e4d987c to edd0611 CI (Coq, Debian) #1020: Pull request #1981 opened by dependabot bot
November 4, 2024 08:41 3h 7m 17s dependabot/submodules/rewriter-edd0611
dependabot/submodules/rewriter-edd0611
November 4, 2024 08:41 3h 7m 17s
Require Import BinNat before using it in ParseArithmetic.v CI (Coq, Debian) #1019: Commit 9bf41bc pushed by andres-erbsen
November 3, 2024 20:29 3h 8m 43s master
master
November 3, 2024 20:29 3h 8m 43s
Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801) CI (Coq, Debian) #1018: Pull request #1980 opened by andres-erbsen
November 3, 2024 16:41 3h 16m 23s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 16:41 3h 16m 23s
CI (Coq, Debian) CI (Coq, Debian) #1017: Scheduled
November 1, 2024 00:58 3h 6m 16s master
master
November 1, 2024 00:58 3h 6m 16s
Merge pull request #1954 from andres-erbsen/CoZJoyeBedrock CI (Coq, Debian) #1016: Commit ee1e322 pushed by andres-erbsen
October 31, 2024 17:58 3h 10m 2s master
master
October 31, 2024 17:58 3h 10m 2s
Bedrock2 End2End field and co-Z operations for secp256k1 CI (Coq, Debian) #1015: Pull request #1954 synchronize by andres-erbsen
October 29, 2024 17:03 3h 8m 10s andres-erbsen:CoZJoyeBedrock
andres-erbsen:CoZJoyeBedrock
October 29, 2024 17:03 3h 8m 10s
Bedrock2 End2End field and co-Z operations for secp256k1 CI (Coq, Debian) #1014: Pull request #1954 synchronize by andres-erbsen
October 28, 2024 22:16 3h 9m 55s andres-erbsen:CoZJoyeBedrock
andres-erbsen:CoZJoyeBedrock
October 28, 2024 22:16 3h 9m 55s
Bump actions/setup-java from 4.4.0 to 4.5.0 CI (Coq, Debian) #1013: Pull request #1978 opened by dependabot bot
October 25, 2024 04:33 2h 59m 45s dependabot/github_actions/actions/setup-java-4.5.0
dependabot/github_actions/actions/setup-java-4.5.0
October 25, 2024 04:33 2h 59m 45s
Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 (#… CI (Coq, Debian) #1012: Commit 9dda471 pushed by JasonGross
October 17, 2024 01:14 3h 4m 3s master
master
October 17, 2024 01:14 3h 4m 3s
Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04" CI (Coq, Debian) #1011: Pull request #1976 synchronize by JasonGross
October 16, 2024 21:26 3h 0m 8s revert-1971-ubuntu-22.04
revert-1971-ubuntu-22.04
October 16, 2024 21:26 3h 0m 8s
Bump rewriter from 76973c4 to e4d987c CI (Coq, Debian) #1010: Pull request #1977 opened by dependabot bot
October 16, 2024 08:47 2h 59m 36s dependabot/submodules/rewriter-e4d987c
dependabot/submodules/rewriter-e4d987c
October 16, 2024 08:47 2h 59m 36s
Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04" CI (Coq, Debian) #1009: Pull request #1976 opened by JasonGross
October 15, 2024 09:06 3h 1m 33s revert-1971-ubuntu-22.04
revert-1971-ubuntu-22.04
October 15, 2024 09:06 3h 1m 33s