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

[CI] macOS 11 is no longer available on GHA (#1928) CI (Coq, Debian) #879: Commit 8a89005 pushed by JasonGross
July 8, 2024 17:23 6h 0m 21s master
master
July 8, 2024 17:23 6h 0m 21s
[CI] macOS 11 is no longer available on GHA CI (Coq, Debian) #878: Pull request #1928 opened by JasonGross
July 8, 2024 17:21 5h 28m 43s JasonGross-patch-1
JasonGross-patch-1
July 8, 2024 17:21 5h 28m 43s
Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 CI (Coq, Debian) #877: Pull request #1927 opened by dependabot bot
July 8, 2024 04:56 3h 0m 59s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
July 8, 2024 04:56 3h 0m 59s
Bump rupicola from 71a5a07 to 0a93e26 CI (Coq, Debian) #876: Pull request #1926 opened by dependabot bot
July 4, 2024 08:31 2h 59m 52s dependabot/submodules/rupicola-0a93e26
dependabot/submodules/rupicola-0a93e26
July 4, 2024 08:31 2h 59m 52s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Debian) #875: Pull request #1925 opened by dependabot bot
July 2, 2024 04:25 3h 7m 12s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 2, 2024 04:25 3h 7m 12s
CI (Coq, Debian) CI (Coq, Debian) #874: Scheduled
July 1, 2024 00:51 2h 58m 21s master
master
July 1, 2024 00:51 2h 58m 21s
[CI] [debian] Containerize testing of standalone (#1924) CI (Coq, Debian) #873: Commit c48e39d pushed by JasonGross
June 18, 2024 04:08 2h 55m 53s master
master
June 18, 2024 04:08 2h 55m 53s
[CI] [debian] Containerize testing of standalone CI (Coq, Debian) #872: Pull request #1924 synchronize by JasonGross
June 17, 2024 23:32 3h 1m 35s debian-containers-more
debian-containers-more
June 17, 2024 23:32 3h 1m 35s
Bump rewriter from 9dd74a9 to edcec73 (#1918) CI (Coq, Debian) #871: Commit da18c98 pushed by JasonGross
June 17, 2024 23:31 3h 1m 50s master
master
June 17, 2024 23:31 3h 1m 50s
[CI] [debian] Containerize testing of standalone CI (Coq, Debian) #870: Pull request #1924 synchronize by JasonGross
June 17, 2024 23:19 52m 55s debian-containers-more
debian-containers-more
June 17, 2024 23:19 52m 55s
[CI] [debian] Containerize testing of standalone CI (Coq, Debian) #869: Pull request #1924 opened by JasonGross
June 12, 2024 03:34 3h 24m 15s debian-containers-more
debian-containers-more
June 12, 2024 03:34 3h 24m 15s
[CI] [TEST] Pin lighter js_of_ocaml CI (Coq, Debian) #868: Pull request #1923 opened by JasonGross
June 12, 2024 03:26 4h 20m 46s js_of_ocaml-optim_sourcemap_link
js_of_ocaml-optim_sourcemap_link
June 12, 2024 03:26 4h 20m 46s
[CI] [TEST] Pin faster js_of_ocaml CI (Coq, Debian) #867: Pull request #1922 opened by JasonGross
June 12, 2024 03:18 3h 36m 27s js_of_ocaml-speedup
js_of_ocaml-speedup
June 12, 2024 03:18 3h 36m 27s
Bump rupicola from e4eb40b to 71a5a07 (#1921) CI (Coq, Debian) #866: Commit 7ff747f pushed by andres-erbsen
June 11, 2024 14:45 3h 28m 9s master
master
June 11, 2024 14:45 3h 28m 9s
Bump rupicola from e4eb40b to 71a5a07 CI (Coq, Debian) #865: Pull request #1921 opened by dependabot bot
June 11, 2024 08:56 1m 5s dependabot/submodules/rupicola-71a5a07
dependabot/submodules/rupicola-71a5a07
June 11, 2024 08:56 1m 5s
Bump rupicola from dc1e8f3 to e4eb40b CI (Coq, Debian) #864: Pull request #1920 opened by dependabot bot
June 6, 2024 08:45 3h 25m 49s dependabot/submodules/rupicola-e4eb40b
dependabot/submodules/rupicola-e4eb40b
June 6, 2024 08:45 3h 25m 49s
Greatly reduce the compilation time of src/Arithmetic/BarrettReductio… CI (Coq, Debian) #863: Commit 80141fa pushed by JasonGross
June 4, 2024 23:05 3h 26m 23s master
master
June 4, 2024 23:05 3h 26m 23s
Greatly reduce the compilation time of src/Arithmetic/BarrettReduction.v CI (Coq, Debian) #862: Pull request #1919 opened by ppedrot
June 4, 2024 19:00 3h 26m 54s ppedrot:fast-barrett-reduction
ppedrot:fast-barrett-reduction
June 4, 2024 19:00 3h 26m 54s
Bump rewriter from 9dd74a9 to edcec73 CI (Coq, Debian) #861: Pull request #1918 opened by dependabot bot
June 4, 2024 08:21 37s dependabot/submodules/rewriter-edcec73
dependabot/submodules/rewriter-edcec73
June 4, 2024 08:21 37s
Bump coqprime from d5935ca to 6c225a2 CI (Coq, Debian) #860: Pull request #1917 opened by dependabot bot
June 3, 2024 08:36 3h 29m 24s dependabot/submodules/coqprime-6c225a2
dependabot/submodules/coqprime-6c225a2
June 3, 2024 08:36 3h 29m 24s
Bump JamesIves/github-pages-deploy-action from 4.6.0 to 4.6.1 CI (Coq, Debian) #859: Pull request #1914 synchronize by dependabot bot
June 2, 2024 02:11 3h 33m 47s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
June 2, 2024 02:11 3h 33m 47s
[CI] [Haskell] Increase heap size to avoid heap overflow (#1915) CI (Coq, Debian) #858: Commit 2e55cc1 pushed by JasonGross
June 2, 2024 01:11 3h 32m 42s master
master
June 2, 2024 01:11 3h 32m 42s
[CI] [Haskell] Increase heap size to avoid heap overflow CI (Coq, Debian) #857: Pull request #1915 synchronize by JasonGross
June 1, 2024 21:18 3h 31m 39s JasonGross-patch-1
JasonGross-patch-1
June 1, 2024 21:18 3h 31m 39s
[CI] [Haskell] Increase heap size to avoid heap overflow CI (Coq, Debian) #856: Pull request #1915 opened by JasonGross
June 1, 2024 14:46 3h 30m 54s JasonGross-patch-1
JasonGross-patch-1
June 1, 2024 14:46 3h 30m 54s
CI (Coq, Debian) CI (Coq, Debian) #855: Scheduled
June 1, 2024 00:45 3h 28m 56s master
master
June 1, 2024 00:45 3h 28m 56s