Skip to content

Actions: mit-pdos/perennial

Actions

Dependabot auto-merge

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump external/stdpp from 9e1cd49 to 9c125ed Dependabot auto-merge #99: Pull request #152 opened by dependabot bot
January 24, 2025 09:28 11s dependabot/submodules/external/stdpp-9c125ed
dependabot/submodules/external/stdpp-9c125ed
January 24, 2025 09:28 11s
Bump external/stdpp from df46059 to 9e1cd49 Dependabot auto-merge #98: Pull request #151 opened by dependabot bot
January 20, 2025 10:07 13s dependabot/submodules/external/stdpp-9e1cd49
dependabot/submodules/external/stdpp-9e1cd49
January 20, 2025 10:07 13s
Adopt Grackle in gokv tutorial Dependabot auto-merge #97: Pull request #150 synchronize by tchajed
January 14, 2025 20:46 2s grackle
grackle
January 14, 2025 20:46 2s
Adopt Grackle in gokv tutorial Dependabot auto-merge #96: Pull request #150 synchronize by mjschwenne
January 14, 2025 18:58 2s grackle
grackle
January 14, 2025 18:58 2s
Adopt Grackle in gokv tutorial Dependabot auto-merge #95: Pull request #150 synchronize by mjschwenne
January 14, 2025 04:17 2s grackle
grackle
January 14, 2025 04:17 2s
Adopt Grackle in gokv tutorial Dependabot auto-merge #94: Pull request #150 synchronize by mjschwenne
January 13, 2025 22:45 3s grackle
grackle
January 13, 2025 22:45 3s
Adopt Grackle in gokv tutorial Dependabot auto-merge #93: Pull request #150 synchronize by mjschwenne
January 13, 2025 18:24 2s grackle
grackle
January 13, 2025 18:24 2s
Adopt Grackle in gokv tutorial Dependabot auto-merge #92: Pull request #150 opened by mjschwenne
January 13, 2025 15:53 3s grackle
grackle
January 13, 2025 15:53 3s
Bump external/coqutil from 421da12 to ac8490b Dependabot auto-merge #91: Pull request #149 opened by dependabot bot
January 6, 2025 10:05 18s dependabot/submodules/external/coqutil-ac8490b
dependabot/submodules/external/coqutil-ac8490b
January 6, 2025 10:05 18s
Bump ruff from 0.8.1 to 0.8.4 Dependabot auto-merge #90: Pull request #148 opened by dependabot bot
January 1, 2025 09:13 10s dependabot/pip/ruff-0.8.4
dependabot/pip/ruff-0.8.4
January 1, 2025 09:13 10s
Bump external/coqutil from e395373 to 421da12 Dependabot auto-merge #89: Pull request #147 opened by dependabot bot
December 23, 2024 10:03 11s dependabot/submodules/external/coqutil-421da12
dependabot/submodules/external/coqutil-421da12
December 23, 2024 10:03 11s
Bump external/coqutil from 0833256 to e395373 Dependabot auto-merge #88: Pull request #146 synchronize by dependabot bot
December 19, 2024 23:51 10s dependabot/submodules/external/coqutil-e395373
dependabot/submodules/external/coqutil-e395373
December 19, 2024 23:51 10s
Bump external/iris from 7b3508c to 72e683c Dependabot auto-merge #87: Pull request #145 synchronize by dependabot bot
December 19, 2024 22:37 14s dependabot/submodules/external/iris-72e683c
dependabot/submodules/external/iris-72e683c
December 19, 2024 22:37 14s
Bump external/coqutil from 0833256 to e395373 Dependabot auto-merge #86: Pull request #146 opened by dependabot bot
December 9, 2024 09:57 11s dependabot/submodules/external/coqutil-e395373
dependabot/submodules/external/coqutil-e395373
December 9, 2024 09:57 11s
Bump external/iris from 7b3508c to 72e683c Dependabot auto-merge #85: Pull request #145 opened by dependabot bot
December 9, 2024 09:57 11s dependabot/submodules/external/iris-72e683c
dependabot/submodules/external/iris-72e683c
December 9, 2024 09:57 11s
Bump external/iris from 7b3508c to e12caa8 Dependabot auto-merge #84: Pull request #144 opened by dependabot bot
December 6, 2024 10:02 12s dependabot/submodules/external/iris-e12caa8
dependabot/submodules/external/iris-e12caa8
December 6, 2024 10:02 12s
Bump external/stdpp from ecc41d2 to df46059 Dependabot auto-merge #83: Pull request #143 opened by dependabot bot
December 6, 2024 10:02 14s dependabot/submodules/external/stdpp-df46059
dependabot/submodules/external/stdpp-df46059
December 6, 2024 10:02 14s
Bump external/iris from 145a30c to 7b3508c Dependabot auto-merge #82: Pull request #142 opened by dependabot bot
December 5, 2024 09:46 13s dependabot/submodules/external/iris-7b3508c
dependabot/submodules/external/iris-7b3508c
December 5, 2024 09:46 13s
Bump external/iris from 6b57ac2 to 145a30c Dependabot auto-merge #81: Pull request #141 opened by dependabot bot
December 2, 2024 10:01 10s dependabot/submodules/external/iris-145a30c
dependabot/submodules/external/iris-145a30c
December 2, 2024 10:01 10s
Bump ruff from 0.7.1 to 0.8.1 Dependabot auto-merge #80: Pull request #140 opened by dependabot bot
December 1, 2024 10:00 8s dependabot/pip/ruff-0.8.1
dependabot/pip/ruff-0.8.1
December 1, 2024 10:00 8s
Bump external/iris from 6b57ac2 to 145a30c Dependabot auto-merge #79: Pull request #139 opened by dependabot bot
November 28, 2024 09:20 12s dependabot/submodules/external/iris-145a30c
dependabot/submodules/external/iris-145a30c
November 28, 2024 09:20 12s
Bump external/iris from e3388f1 to 6b57ac2 Dependabot auto-merge #78: Pull request #138 opened by dependabot bot
November 18, 2024 10:17 13s dependabot/submodules/external/iris-6b57ac2
dependabot/submodules/external/iris-6b57ac2
November 18, 2024 10:17 13s
Adapt to coq#19822 Dependabot auto-merge #77: Pull request #137 synchronize by Tragicus
November 18, 2024 09:25 2s Tragicus:pr19822
Tragicus:pr19822
November 18, 2024 09:25 2s
Adapt to coq#19822 Dependabot auto-merge #76: Pull request #137 opened by Tragicus
November 18, 2024 08:34 2s Tragicus:pr19822
Tragicus:pr19822
November 18, 2024 08:34 2s
Bump external/iris from f9d1e1d to e3388f1 Dependabot auto-merge #75: Pull request #136 synchronize by yunshengtw
November 14, 2024 19:03 3s dependabot/submodules/external/iris-e3388f1
dependabot/submodules/external/iris-e3388f1
November 14, 2024 19:03 3s