Skip to content

Actions: mit-pdos/perennial

Actions

Dependabot auto-merge

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Bump external/iris from f9d1e1d to e3388f1 Dependabot auto-merge #74: Pull request #136 opened by dependabot bot
November 14, 2024 09:55 11s dependabot/submodules/external/iris-e3388f1
dependabot/submodules/external/iris-e3388f1
November 14, 2024 09:55 11s
Bump external/iris from d18120d to f9d1e1d Dependabot auto-merge #73: Pull request #135 opened by dependabot bot
November 13, 2024 09:49 14s dependabot/submodules/external/iris-f9d1e1d
dependabot/submodules/external/iris-f9d1e1d
November 13, 2024 09:49 14s
Bump external/iris from 12b828e to d18120d Dependabot auto-merge #72: Pull request #134 opened by dependabot bot
November 11, 2024 09:27 13s dependabot/submodules/external/iris-d18120d
dependabot/submodules/external/iris-d18120d
November 11, 2024 09:27 13s
Bump ruff from 0.6.9 to 0.7.1 Dependabot auto-merge #71: Pull request #133 opened by dependabot bot
November 1, 2024 08:15 14s dependabot/pip/ruff-0.7.1
dependabot/pip/ruff-0.7.1
November 1, 2024 08:15 14s
Bump external/stdpp from 9683981 to ecc41d2 Dependabot auto-merge #70: Pull request #132 opened by dependabot bot
October 31, 2024 08:30 10s dependabot/submodules/external/stdpp-ecc41d2
dependabot/submodules/external/stdpp-ecc41d2
October 31, 2024 08:30 10s
Bump external/iris from 12b828e to 3d176f1 Dependabot auto-merge #69: Pull request #131 opened by dependabot bot
October 31, 2024 08:30 13s dependabot/submodules/external/iris-3d176f1
dependabot/submodules/external/iris-3d176f1
October 31, 2024 08:30 13s
Bump external/stdpp from f3091cc to 9683981 Dependabot auto-merge #68: Pull request #130 opened by dependabot bot
October 30, 2024 09:06 39s dependabot/submodules/external/stdpp-9683981
dependabot/submodules/external/stdpp-9683981
October 30, 2024 09:06 39s
Bump external/iris from a2db91f to 12b828e Dependabot auto-merge #67: Pull request #129 opened by dependabot bot
October 25, 2024 08:26 11s dependabot/submodules/external/iris-12b828e
dependabot/submodules/external/iris-12b828e
October 25, 2024 08:26 11s
Bump external/stdpp from 4d307c8 to f3091cc Dependabot auto-merge #66: Pull request #128 opened by dependabot bot
October 24, 2024 08:19 13s dependabot/submodules/external/stdpp-f3091cc
dependabot/submodules/external/stdpp-f3091cc
October 24, 2024 08:19 13s
Bump external/stdpp from 1fa37d0 to 4d307c8 Dependabot auto-merge #65: Pull request #127 opened by dependabot bot
October 22, 2024 08:15 17s dependabot/submodules/external/stdpp-4d307c8
dependabot/submodules/external/stdpp-4d307c8
October 22, 2024 08:15 17s
Bump external/iris from 6dece41 to a2db91f Dependabot auto-merge #64: Pull request #126 opened by dependabot bot
October 21, 2024 09:02 12s dependabot/submodules/external/iris-a2db91f
dependabot/submodules/external/iris-a2db91f
October 21, 2024 09:02 12s
Bump external/iris from 4871f96 to 6dece41 Dependabot auto-merge #63: Pull request #125 opened by dependabot bot
October 8, 2024 08:59 11s dependabot/submodules/external/iris-6dece41
dependabot/submodules/external/iris-6dece41
October 8, 2024 08:59 11s
Bump ruff from 0.6.3 to 0.6.9 Dependabot auto-merge #62: Pull request #124 opened by dependabot bot
October 5, 2024 16:00 12s dependabot/pip/ruff-0.6.9
dependabot/pip/ruff-0.6.9
October 5, 2024 16:00 12s
Bump external/iris from 0d08080 to 4871f96 Dependabot auto-merge #61: Pull request #123 opened by dependabot bot
October 3, 2024 08:31 18s dependabot/submodules/external/iris-4871f96
dependabot/submodules/external/iris-4871f96
October 3, 2024 08:31 18s
Bump external/stdpp from bc4fce0 to 1fa37d0 Dependabot auto-merge #60: Pull request #122 opened by dependabot bot
October 3, 2024 08:31 15s dependabot/submodules/external/stdpp-1fa37d0
dependabot/submodules/external/stdpp-1fa37d0
October 3, 2024 08:31 15s
Bump external/iris-named-props from 2bdaf3c to 8621ac3 Dependabot auto-merge #59: Pull request #121 opened by dependabot bot
October 1, 2024 17:41 11s dependabot/submodules/external/iris-named-props-8621ac3
dependabot/submodules/external/iris-named-props-8621ac3
October 1, 2024 17:41 11s
Bump ruff from 0.6.3 to 0.6.8 Dependabot auto-merge #58: Pull request #120 opened by dependabot bot
October 1, 2024 17:24 12s dependabot/pip/ruff-0.6.8
dependabot/pip/ruff-0.6.8
October 1, 2024 17:24 12s
Bump external/iris from 0203d5c to 0d08080 Dependabot auto-merge #57: Pull request #119 opened by dependabot bot
September 25, 2024 08:40 12s dependabot/submodules/external/iris-0d08080
dependabot/submodules/external/iris-0d08080
September 25, 2024 08:40 12s
Add ownership-retaining spec for slice skip-in-copy Dependabot auto-merge #56: Pull request #118 synchronize by yunshengtw
September 24, 2024 19:01 3s ysc/slice-copy-skip
ysc/slice-copy-skip
September 24, 2024 19:01 3s
Add ownership-retaining spec for slice skip-in-copy Dependabot auto-merge #55: Pull request #118 opened by yunshengtw
September 24, 2024 16:56 3s ysc/slice-copy-skip
ysc/slice-copy-skip
September 24, 2024 16:56 3s
Adapt to https://github.com/coq/coq/pull/19530 Dependabot auto-merge #54: Pull request #117 opened by proux01
September 17, 2024 10:02 3s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 10:02 3s
Bump external/iris from f6ed092 to 6f24ed4 Dependabot auto-merge #53: Pull request #116 opened by dependabot bot
September 11, 2024 08:16 15s dependabot/submodules/external/iris-6f24ed4
dependabot/submodules/external/iris-6f24ed4
September 11, 2024 08:16 15s
Bump external/stdpp from d37b5e7 to a1a12e0 Dependabot auto-merge #52: Pull request #115 opened by dependabot bot
September 11, 2024 08:16 15s dependabot/submodules/external/stdpp-a1a12e0
dependabot/submodules/external/stdpp-a1a12e0
September 11, 2024 08:16 15s
Adapt to https://github.com/coq/coq/pull/19519 Dependabot auto-merge #51: Pull request #114 synchronize by proux01
September 10, 2024 15:40 3s proux01:coq_19519
proux01:coq_19519
September 10, 2024 15:40 3s