Skip to content

Actions: mit-plv/fiat-crypto

Actions

Dependabot Automerge

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump ocaml/setup-ocaml from 2 to 3 Dependabot Automerge #150: Pull request #1939 synchronize by JasonGross
September 6, 2024 01:26 15s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 6, 2024 01:26 15s
Bedrock2 End2End field and co-Z operations for secp256k1 Dependabot Automerge #149: Pull request #1954 opened by andres-erbsen
September 5, 2024 22:28 26s andres-erbsen:CoZJoyeBedrock
andres-erbsen:CoZJoyeBedrock
September 5, 2024 22:28 26s
Update Curves/Weierstrass Dependabot Automerge #148: Pull request #1953 synchronize by andres-erbsen
September 5, 2024 02:59 12s andres-erbsen:weier2
andres-erbsen:weier2
September 5, 2024 02:59 12s
Update Curves/Weierstrass Dependabot Automerge #147: Pull request #1953 opened by andres-erbsen
September 4, 2024 22:36 13s andres-erbsen:weier2
andres-erbsen:weier2
September 4, 2024 22:36 13s
Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 Dependabot Automerge #146: Pull request #1952 opened by dependabot bot
September 3, 2024 04:18 16s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.4
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.4
September 3, 2024 04:18 16s
Generate code for SM2 Dependabot Automerge #145: Pull request #1940 synchronize by emmansun
September 2, 2024 13:15 12s emmansun:master
emmansun:master
September 2, 2024 13:15 12s
Pin Zig to the current stable version instead of master Dependabot Automerge #144: Pull request #1951 opened by jedisct1
September 2, 2024 08:03 13s jedisct1:use-zig-release
jedisct1:use-zig-release
September 2, 2024 08:03 13s
Bump rupicola from 941374a to d55f2d7 Dependabot Automerge #141: Pull request #1948 synchronize by dependabot bot
August 30, 2024 06:58 36m 57s dependabot/submodules/rupicola-d55f2d7
dependabot/submodules/rupicola-d55f2d7
August 30, 2024 06:58 36m 57s
Generate code for SM2 Dependabot Automerge #140: Pull request #1940 synchronize by JasonGross
August 30, 2024 06:57 18s emmansun:master
emmansun:master
August 30, 2024 06:57 18s
[CI] [Debian] sudo work around broken git config Dependabot Automerge #139: Pull request #1949 opened by JasonGross
August 19, 2024 16:38 39m 32s JasonGross-patch-1
JasonGross-patch-1
August 19, 2024 16:38 39m 32s
Bump rupicola from 941374a to d55f2d7 Dependabot Automerge #138: Pull request #1948 opened by dependabot bot
August 19, 2024 16:35 14s dependabot/submodules/rupicola-d55f2d7
dependabot/submodules/rupicola-d55f2d7
August 19, 2024 16:35 14s
[CI] [Debian] use -j1 on js-of-ocaml Dependabot Automerge #136: Pull request #1947 opened by JasonGross
August 15, 2024 19:57 10s CI]-Debian]-use--j1-on-js-of-ocaml
CI]-Debian]-use--j1-on-js-of-ocaml
August 15, 2024 19:57 10s
Bump rupicola from 941374a to f15661d Dependabot Automerge #135: Pull request #1944 synchronize by JasonGross
August 15, 2024 16:25 45m 2s dependabot/submodules/rupicola-f15661d
dependabot/submodules/rupicola-f15661d
August 15, 2024 16:25 45m 2s
fix Debian CI Dependabot Automerge #134: Pull request #1946 opened by JasonGross
August 15, 2024 09:08 14s debian-git-config
debian-git-config
August 15, 2024 09:08 14s
Bump rupicola from 941374a to f15661d Dependabot Automerge #133: Pull request #1944 opened by dependabot bot
August 13, 2024 08:40 25s dependabot/submodules/rupicola-f15661d
dependabot/submodules/rupicola-f15661d
August 13, 2024 08:40 25s
Bump rupicola from 941374a to f647de5 Dependabot Automerge #132: Pull request #1943 opened by dependabot bot
August 8, 2024 09:00 14s dependabot/submodules/rupicola-f647de5
dependabot/submodules/rupicola-f647de5
August 8, 2024 09:00 14s
Generate code for SM2 Dependabot Automerge #131: Pull request #1940 synchronize by emmansun
August 6, 2024 10:52 14s emmansun:master
emmansun:master
August 6, 2024 10:52 14s
Bump actions/setup-java from 4.2.1 to 4.2.2 Dependabot Automerge #130: Pull request #1942 opened by dependabot bot
August 6, 2024 04:59 1h 18m 17s dependabot/github_actions/actions/setup-java-4.2.2
dependabot/github_actions/actions/setup-java-4.2.2
August 6, 2024 04:59 1h 18m 17s
Bump ocaml/setup-ocaml from 2 to 3 Dependabot Automerge #128: Pull request #1939 synchronize by JasonGross
August 5, 2024 23:46 3h 8m 57s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 23:46 3h 8m 57s
Bump ocaml/setup-ocaml from 2 to 3 Dependabot Automerge #127: Pull request #1939 synchronize by JasonGross
August 5, 2024 23:46 2h 48m 38s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 23:46 2h 48m 38s
[js] Set up workers earlier Dependabot Automerge #126: Pull request #1941 opened by JasonGross
August 5, 2024 23:27 11s JasonGross:setup-workers-early
JasonGross:setup-workers-early
August 5, 2024 23:27 11s
Bump ocaml/setup-ocaml from 2 to 3 Dependabot Automerge #125: Pull request #1939 synchronize by JasonGross
August 5, 2024 18:28 49s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 18:28 49s
Generate code for SM2 Dependabot Automerge #124: Pull request #1940 opened by emmansun
August 1, 2024 05:25 3h 12m 21s emmansun:master
emmansun:master
August 1, 2024 05:25 3h 12m 21s
Bump ocaml/setup-ocaml from 2 to 3 Dependabot Automerge #123: Pull request #1939 synchronize by JasonGross
July 31, 2024 08:47 14s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 31, 2024 08:47 14s
Bump ocaml/setup-ocaml from 2 to 3 Dependabot Automerge #122: Pull request #1939 opened by dependabot bot
July 31, 2024 04:36 14s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 31, 2024 04:36 14s