Skip to content

Actions: mit-plv/fiat-crypto

Actions

Dependabot Automerge

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 Dependabot Automerge #197: Pull request #1969 opened by dependabot bot
September 30, 2024 04:40 20s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
September 30, 2024 04:40 20s
Bump rupicola from d55f2d7 to e7771d9 Dependabot Automerge #196: Pull request #1968 opened by dependabot bot
September 25, 2024 08:34 14s dependabot/submodules/rupicola-e7771d9
dependabot/submodules/rupicola-e7771d9
September 25, 2024 08:34 14s
Bump actions/setup-java from 4.3.0 to 4.4.0 Dependabot Automerge #195: Pull request #1967 opened by dependabot bot
September 25, 2024 04:48 17s dependabot/github_actions/actions/setup-java-4.4.0
dependabot/github_actions/actions/setup-java-4.4.0
September 25, 2024 04:48 17s
Add support for wasm files in assets subdirectory Dependabot Automerge #194: Pull request #1966 synchronize by JasonGross
September 21, 2024 17:59 10s JasonGross:wasm-subfolders
JasonGross:wasm-subfolders
September 21, 2024 17:59 10s
Add support for wasm files in assets subdirectory Dependabot Automerge #193: Pull request #1966 synchronize by JasonGross
September 21, 2024 02:13 2h 37m 21s JasonGross:wasm-subfolders
JasonGross:wasm-subfolders
September 21, 2024 02:13 2h 37m 21s
Bump rewriter from 19f344b to 1ce9f1a Dependabot Automerge #192: Pull request #1963 synchronize by dependabot bot
September 21, 2024 02:13 2h 20m 40s dependabot/submodules/rewriter-1ce9f1a
dependabot/submodules/rewriter-1ce9f1a
September 21, 2024 02:13 2h 20m 40s
Add support for wasm files in assets subdirectory Dependabot Automerge #191: Pull request #1966 synchronize by JasonGross
September 21, 2024 02:09 36m 4s JasonGross:wasm-subfolders
JasonGross:wasm-subfolders
September 21, 2024 02:09 36m 4s
Adapt to https://github.com/coq/coq/pull/19530 Dependabot Automerge #190: Pull request #1964 synchronize by JasonGross
September 21, 2024 01:48 19m 28s proux01:stdlib_repo_legacy
proux01:stdlib_repo_legacy
September 21, 2024 01:48 19m 28s
Add support for wasm files in assets subdirectory Dependabot Automerge #189: Pull request #1966 opened by JasonGross
September 21, 2024 01:43 20m 21s JasonGross:wasm-subfolders
JasonGross:wasm-subfolders
September 21, 2024 01:43 20m 21s
Revert "Also install .wasm.map files" Dependabot Automerge #188: Pull request #1959 synchronize by JasonGross
September 21, 2024 01:09 10s revert-1908-install-wasm-map
revert-1908-install-wasm-map
September 21, 2024 01:09 10s
Adapt to https://github.com/coq/coq/pull/19530 Dependabot Automerge #187: Pull request #1964 synchronize by JasonGross
September 20, 2024 21:38 35m 54s proux01:stdlib_repo_legacy
proux01:stdlib_repo_legacy
September 20, 2024 21:38 35m 54s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start Dependabot Automerge #186: Pull request #1961 synchronize by JasonGross
September 20, 2024 20:05 1h 29m 48s JasonGross:less-sed
JasonGross:less-sed
September 20, 2024 20:05 1h 29m 48s