Skip to content

Actions: mit-pdos/perennial

Actions

Dependabot auto-merge

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Adapt to https://github.com/coq/coq/pull/19519 Dependabot auto-merge #50: Pull request #114 synchronize by proux01
September 10, 2024 14:39 3s proux01:coq_19519
proux01:coq_19519
September 10, 2024 14:39 3s
Adapt to https://github.com/coq/coq/pull/19519 Dependabot auto-merge #49: Pull request #114 opened by proux01
September 10, 2024 12:11 2s proux01:coq_19519
proux01:coq_19519
September 10, 2024 12:11 2s
Bump external/stdpp from 9d0f527 to d37b5e7 Dependabot auto-merge #48: Pull request #113 opened by dependabot bot
September 9, 2024 09:07 11s dependabot/submodules/external/stdpp-d37b5e7
dependabot/submodules/external/stdpp-d37b5e7
September 9, 2024 09:07 11s
Add various specs for slice skip/take Dependabot auto-merge #47: Pull request #112 opened by tchajed
September 7, 2024 19:47 2s tchajed/slice-specs
tchajed/slice-specs
September 7, 2024 19:47 2s
Rename Mutex and Cond methods for consistency Dependabot auto-merge #46: Pull request #111 opened by tchajed
September 7, 2024 15:00 2s tchajed/rename-mutex-methods
tchajed/rename-mutex-methods
September 7, 2024 15:00 2s
Make Var a coercion Dependabot auto-merge #45: Pull request #110 synchronize by tchajed
September 6, 2024 16:38 2s tchajed/remove-var-coercion
tchajed/remove-var-coercion
September 6, 2024 16:38 2s
Make Var a coercion Dependabot auto-merge #44: Pull request #110 opened by tchajed
September 6, 2024 16:30 2s tchajed/remove-var-coercion
tchajed/remove-var-coercion
September 6, 2024 16:30 2s
Bump external/iris from 0653ba6 to f6ed092 Dependabot auto-merge #43: Pull request #109 opened by dependabot bot
September 5, 2024 08:59 12s dependabot/submodules/external/iris-f6ed092
dependabot/submodules/external/iris-f6ed092
September 5, 2024 08:59 12s
Bump external/stdpp from 6cb5c0f to 80267a5 Dependabot auto-merge #42: Pull request #108 opened by dependabot bot
September 5, 2024 08:59 12s dependabot/submodules/external/stdpp-80267a5
dependabot/submodules/external/stdpp-80267a5
September 5, 2024 08:59 12s
Bump external/stdpp from 8548ce4 to 6cb5c0f Dependabot auto-merge #41: Pull request #107 synchronize by dependabot bot
September 4, 2024 11:51 11s dependabot/submodules/external/stdpp-6cb5c0f
dependabot/submodules/external/stdpp-6cb5c0f
September 4, 2024 11:51 11s
Bump external/stdpp from 8548ce4 to 6cb5c0f Dependabot auto-merge #40: Pull request #107 opened by dependabot bot
September 4, 2024 08:17 16s dependabot/submodules/external/stdpp-6cb5c0f
dependabot/submodules/external/stdpp-6cb5c0f
September 4, 2024 08:17 16s
Bump external/iris from efb542b to 0653ba6 Dependabot auto-merge #39: Pull request #106 opened by dependabot bot
September 4, 2024 08:17 13s dependabot/submodules/external/iris-0653ba6
dependabot/submodules/external/iris-0653ba6
September 4, 2024 08:17 13s
Make word rewrite in hypotheses Dependabot auto-merge #38: Pull request #105 opened by tchajed
September 3, 2024 14:29 2s tchajed/word-hyps
tchajed/word-hyps
September 3, 2024 14:29 2s
Improve word's rewriting with a repeat Dependabot auto-merge #37: Pull request #104 opened by tchajed
September 2, 2024 18:42 3s tchajed/word-repeat
tchajed/word-repeat
September 2, 2024 18:42 3s