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

[CI] brew install grep on MacOS for ggrep Dependabot Automerge #46: Pull request #1894 opened by JasonGross
May 9, 2024 04:41 37m 8s JasonGross:mac-ggrep
JasonGross:mac-ggrep
May 9, 2024 04:41 37m 8s
Allow host libc to mismatch debian container libc when testing binary Dependabot Automerge #45: Pull request #1893 opened by JasonGross
May 9, 2024 04:25 10s JasonGross:old-ubuntu-sid
JasonGross:old-ubuntu-sid
May 9, 2024 04:25 10s
Build universal (x86_64+arm64) binaries for MacOS Dependabot Automerge #44: Pull request #1891 synchronize by JasonGross
May 7, 2024 18:37 10s JasonGross:mac-universal
JasonGross:mac-universal
May 7, 2024 18:37 10s
Build universal (x86_64+arm64) binaries for MacOS Dependabot Automerge #43: Pull request #1891 synchronize by JasonGross
May 7, 2024 17:53 11s JasonGross:mac-universal
JasonGross:mac-universal
May 7, 2024 17:53 11s
Build universal (x86_64+arm64) binaries for MacOS Dependabot Automerge #42: Pull request #1891 opened by JasonGross
May 7, 2024 17:44 13s JasonGross:mac-universal
JasonGross:mac-universal
May 7, 2024 17:44 13s
Bedrock2 End2End field and co-Z operations for secp256k1 Dependabot Automerge #41: Pull request #1890 opened by atrieu
May 2, 2024 15:24 14s atrieu:CoZJoyeBedrock
atrieu:CoZJoyeBedrock
May 2, 2024 15:24 14s
Update coq-opam-package.yml Dependabot Automerge #40: Pull request #1889 opened by JasonGross
April 22, 2024 19:08 1h 15m 22s JasonGross-patch-1
JasonGross-patch-1
April 22, 2024 19:08 1h 15m 22s
Fix permissions in publish.yml Dependabot Automerge #39: Pull request #1888 opened by JasonGross
April 22, 2024 14:06 3h 42m 5s JasonGross-patch-1
JasonGross-patch-1
April 22, 2024 14:06 3h 42m 5s
Automated Rust Crate Version Bump: Mon Apr 22 13:35:04 UTC 2024 5563f… Dependabot Automerge #38: Pull request #1887 opened by JasonGross
April 22, 2024 13:56 14s rust-crate-version-bump-956d721c3
rust-crate-version-bump-956d721c3
April 22, 2024 13:56 14s
Bump rupicola from 7533776 to a85c012 Dependabot Automerge #37: Pull request #1886 opened by dependabot bot
April 19, 2024 08:50 17s dependabot/submodules/rupicola-a85c012
dependabot/submodules/rupicola-a85c012
April 19, 2024 08:50 17s
Bump rewriter from 56ae1fe to b1e8367 Dependabot Automerge #36: Pull request #1885 opened by dependabot bot
April 19, 2024 08:50 17s dependabot/submodules/rewriter-b1e8367
dependabot/submodules/rewriter-b1e8367
April 19, 2024 08:50 17s
Adapt w.r.t. coq/coq#18909. Dependabot Automerge #35: Pull request #1884 opened by ppedrot
April 18, 2024 16:22 10s ppedrot:hint-using-strict-globref
ppedrot:hint-using-strict-globref
April 18, 2024 16:22 10s
Adapt w.r.t. coq/coq#18909. Dependabot Automerge #34: Pull request #1881 synchronize by ppedrot
April 18, 2024 10:25 9s ppedrot:hint-using-strict-globref
ppedrot:hint-using-strict-globref
April 18, 2024 10:25 9s
Bump rewriter from 1cd64f2 to 56ae1fe Dependabot Automerge #33: Pull request #1883 opened by dependabot bot
April 18, 2024 08:37 17s dependabot/submodules/rewriter-56ae1fe
dependabot/submodules/rewriter-56ae1fe
April 18, 2024 08:37 17s
Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.0 Dependabot Automerge #32: Pull request #1882 opened by dependabot bot
April 18, 2024 04:21 16s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.0
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.0
April 18, 2024 04:21 16s
Adapt w.r.t. coq/coq#18909. Dependabot Automerge #31: Pull request #1881 opened by ppedrot
April 17, 2024 11:28 2h 28m 39s ppedrot:hint-using-strict-globref
ppedrot:hint-using-strict-globref
April 17, 2024 11:28 2h 28m 39s
Bump rupicola from 4036171 to 7533776 Dependabot Automerge #30: Pull request #1880 opened by dependabot bot
April 17, 2024 10:37 1h 59m 22s dependabot/submodules/rupicola-7533776
dependabot/submodules/rupicola-7533776
April 17, 2024 10:37 1h 59m 22s
More compact windows CI file Dependabot Automerge #29: Pull request #1869 synchronize by JasonGross
April 17, 2024 05:56 3h 19m 25s JasonGross:windows-more-compact
JasonGross:windows-more-compact
April 17, 2024 05:56 3h 19m 25s
[CI] use container instead of chroot for Debian Dependabot Automerge #28: Pull request #1878 synchronize by JasonGross
April 17, 2024 05:12 3h 56m 49s JasonGross-patch-1
JasonGross-patch-1
April 17, 2024 05:12 3h 56m 49s
Create dependabot-automerge.yml (#1879) Dependabot Automerge #27: Commit 85d1d09 pushed by JasonGross
April 17, 2024 00:31 -1s sp2019latest
sp2019latest
April 17, 2024 00:31 -1s
Create dependabot-automerge.yml Dependabot Automerge #26: Commit 8a43b92 pushed by JasonGross
April 17, 2024 00:30 Failure JasonGross-patch-2
JasonGross-patch-2
April 17, 2024 00:30 Failure
Use gsed on MacOS CI Dependabot Automerge #25: Pull request #1875 synchronize by JasonGross
April 17, 2024 00:28 7h 18m 54s JasonGross:mac-ci-gsed
JasonGross:mac-ci-gsed
April 17, 2024 00:28 7h 18m 54s
[CI] use container instead of chroot for Debian Dependabot Automerge #24: Pull request #1878 opened by JasonGross
April 17, 2024 00:27 7h 18m 56s JasonGross-patch-1
JasonGross-patch-1
April 17, 2024 00:27 7h 18m 56s
Attempt to clean up MacOS CI yml a bit Dependabot Automerge #23: Pull request #1874 synchronize by JasonGross
April 17, 2024 00:12 5h 26m 23s JasonGross:mac-ci-no-opam-env
JasonGross:mac-ci-no-opam-env
April 17, 2024 00:12 5h 26m 23s
Bump etc/coq-scripts from 5876e80 to 857071d Dependabot Automerge #22: Pull request #1873 synchronize by JasonGross
April 17, 2024 00:12 5h 5m 48s dependabot/submodules/etc/coq-scripts-857071d
dependabot/submodules/etc/coq-scripts-857071d
April 17, 2024 00:12 5h 5m 48s