Skip to content

Actions: mit-plv/fiat-crypto

Actions

Dependabot Automerge

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dependabot-automerge.yml
218 workflow runs
218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump coqprime from 6c225a2 to 845c00c Dependabot Automerge #222: Pull request #1984 synchronize by JasonGross
November 11, 2024 15:41 55s dependabot/submodules/coqprime-845c00c
dependabot/submodules/coqprime-845c00c
November 11, 2024 15:41 55s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 Dependabot Automerge #221: Pull request #1987 synchronize by JasonGross
November 11, 2024 15:41 16s 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 16s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 Dependabot Automerge #220: Pull request #1987 opened by dependabot bot
November 11, 2024 04:39 14s 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 14s
Fix wasm_of_ocaml version, hopefully Dependabot Automerge #219: Pull request #1986 opened by JasonGross
November 11, 2024 04:32 13s fix-wasm
fix-wasm
November 11, 2024 04:32 13s
Bump coqprime from 6c225a2 to 845c00c Dependabot Automerge #218: Pull request #1985 opened by dependabot bot
November 7, 2024 08:50 11s dependabot/submodules/sp2019latest/coqprime-845c00c
dependabot/submodules/sp2019latest/coqprime-845c00c
November 7, 2024 08:50 11s
Bump coqprime from 6c225a2 to 845c00c Dependabot Automerge #217: Pull request #1984 opened by dependabot bot
November 7, 2024 08:36 16s dependabot/submodules/coqprime-845c00c
dependabot/submodules/coqprime-845c00c
November 7, 2024 08:36 16s
Bump rewriter from e4d987c to edd0611 Dependabot Automerge #216: Pull request #1981 opened by dependabot bot
November 4, 2024 08:41 16s dependabot/submodules/rewriter-edd0611
dependabot/submodules/rewriter-edd0611
November 4, 2024 08:41 16s
Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801) Dependabot Automerge #215: Pull request #1980 opened by andres-erbsen
November 3, 2024 16:41 10s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 16:41 10s
Require Import ZArith before using it in ModularArithmeticTheorems.v (for coq/coq#19801) Dependabot Automerge #214: Pull request #1979 opened by andres-erbsen
November 3, 2024 16:39 10s andres-erbsen:less-ZArith_base-legacy
andres-erbsen:less-ZArith_base-legacy
November 3, 2024 16:39 10s
Bedrock2 End2End field and co-Z operations for secp256k1 Dependabot Automerge #213: Pull request #1954 synchronize by andres-erbsen
October 29, 2024 17:03 25s andres-erbsen:CoZJoyeBedrock
andres-erbsen:CoZJoyeBedrock
October 29, 2024 17:03 25s
Bedrock2 End2End field and co-Z operations for secp256k1 Dependabot Automerge #212: Pull request #1954 synchronize by andres-erbsen
October 28, 2024 22:16 14s andres-erbsen:CoZJoyeBedrock
andres-erbsen:CoZJoyeBedrock
October 28, 2024 22:16 14s
Bump actions/setup-java from 4.4.0 to 4.5.0 Dependabot Automerge #211: Pull request #1978 opened by dependabot bot
October 25, 2024 04:33 12s dependabot/github_actions/actions/setup-java-4.5.0
dependabot/github_actions/actions/setup-java-4.5.0
October 25, 2024 04:33 12s
Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04" Dependabot Automerge #210: Pull request #1976 synchronize by JasonGross
October 16, 2024 21:26 12s revert-1971-ubuntu-22.04
revert-1971-ubuntu-22.04
October 16, 2024 21:26 12s
Bump rewriter from 76973c4 to e4d987c Dependabot Automerge #209: Pull request #1977 opened by dependabot bot
October 16, 2024 08:47 16s dependabot/submodules/rewriter-e4d987c
dependabot/submodules/rewriter-e4d987c
October 16, 2024 08:47 16s
Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04" Dependabot Automerge #208: Pull request #1976 opened by JasonGross
October 15, 2024 09:06 14s revert-1971-ubuntu-22.04
revert-1971-ubuntu-22.04
October 15, 2024 09:06 14s
Bump rewriter from 1ce9f1a to 76973c4 Dependabot Automerge #207: Pull request #1975 opened by dependabot bot
October 9, 2024 08:56 1h 27m 44s dependabot/submodules/rewriter-76973c4
dependabot/submodules/rewriter-76973c4
October 9, 2024 08:56 1h 27m 44s
Bump etc/coq-scripts from e4d9e81 to 4327aa1 Dependabot Automerge #206: Pull request #1974 opened by dependabot bot
October 9, 2024 08:56 59m 39s dependabot/submodules/etc/coq-scripts-4327aa1
dependabot/submodules/etc/coq-scripts-4327aa1
October 9, 2024 08:56 59m 39s
Bump etc/coq-scripts from e4d9e81 to 4327aa1 Dependabot Automerge #205: Pull request #1973 opened by dependabot bot
October 9, 2024 08:06 1h 4m 43s dependabot/submodules/sp2019latest/etc/coq-scripts-4327aa1
dependabot/submodules/sp2019latest/etc/coq-scripts-4327aa1
October 9, 2024 08:06 1h 4m 43s
Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 Dependabot Automerge #204: Pull request #1969 synchronize by dependabot bot
October 9, 2024 07:15 58m 36s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
October 9, 2024 07:15 58m 36s
Bump rewriter from 1ce9f1a to aad1a9b Dependabot Automerge #203: Pull request #1970 synchronize by dependabot bot
October 9, 2024 07:15 15s dependabot/submodules/rewriter-aad1a9b
dependabot/submodules/rewriter-aad1a9b
October 9, 2024 07:15 15s
Add CI shield for opam package to README Dependabot Automerge #202: Pull request #1972 synchronize by JasonGross
October 9, 2024 01:23 34s opam-shield
opam-shield
October 9, 2024 01:23 34s
Add CI shield for opam package to README Dependabot Automerge #201: Pull request #1972 opened by JasonGross
October 9, 2024 01:22 10s opam-shield
opam-shield
October 9, 2024 01:22 10s
[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 Dependabot Automerge #200: Pull request #1971 synchronize by JasonGross
October 9, 2024 01:04 12s ubuntu-22.04
ubuntu-22.04
October 9, 2024 01:04 12s
[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 Dependabot Automerge #199: Pull request #1971 opened by JasonGross
October 9, 2024 01:01 13s ubuntu-22.04
ubuntu-22.04
October 9, 2024 01:01 13s
Bump rewriter from 1ce9f1a to aad1a9b Dependabot Automerge #198: Pull request #1970 opened by dependabot bot
October 7, 2024 08:43 15s dependabot/submodules/rewriter-aad1a9b
dependabot/submodules/rewriter-aad1a9b
October 7, 2024 08:43 15s