Skip to content

Actions: mit-plv/rewriter

Actions

Dependabot Automerge

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump etc/coq-scripts from 9479734 to bf7754a Dependabot Automerge #23: Pull request #169 opened by dependabot bot
January 15, 2025 07:56 14s dependabot/submodules/etc/coq-scripts-bf7754a
dependabot/submodules/etc/coq-scripts-bf7754a
January 15, 2025 07:56 14s
Bump etc/coq-scripts from 4327aa1 to 9479734 Dependabot Automerge #22: Pull request #168 opened by dependabot bot
January 14, 2025 07:51 10s dependabot/submodules/etc/coq-scripts-9479734
dependabot/submodules/etc/coq-scripts-9479734
January 14, 2025 07:51 10s
Adapt to coq#19822 Dependabot Automerge #21: Pull request #165 synchronize by JasonGross
November 20, 2024 06:36 3s Tragicus:pr19822
Tragicus:pr19822
November 20, 2024 06:36 3s
Adapt to coq#19822 Dependabot Automerge #20: Pull request #165 opened by Tragicus
November 18, 2024 16:59 3s Tragicus:pr19822
Tragicus:pr19822
November 18, 2024 16:59 3s
add missing nounfold for Qeq_bool in Sample.v (for coq/coq##19801) Dependabot Automerge #19: Pull request #164 opened by andres-erbsen
November 3, 2024 16:22 2s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 16:22 2s
Adapt to coq/coq#19783 (ml_tactic_name contains hash) Dependabot Automerge #18: Pull request #163 opened by SkySkimmer
October 30, 2024 12:57 3s SkySkimmer:ltac2-hashmaps
SkySkimmer:ltac2-hashmaps
October 30, 2024 12:57 3s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) Dependabot Automerge #17: Pull request #160 synchronize by JasonGross
October 15, 2024 09:34 2s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 15, 2024 09:34 2s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) Dependabot Automerge #16: Pull request #160 synchronize by JasonGross
October 15, 2024 09:07 3s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 15, 2024 09:07 3s
Bump etc/coq-scripts from e4d9e81 to 4327aa1 Dependabot Automerge #15: Pull request #162 opened by dependabot bot
October 9, 2024 07:41 19m 57s dependabot/submodules/etc/coq-scripts-4327aa1
dependabot/submodules/etc/coq-scripts-4327aa1
October 9, 2024 07:41 19m 57s
Use docker for all Coq versions Dependabot Automerge #14: Pull request #161 synchronize by JasonGross
October 4, 2024 20:17 1s docker-only
docker-only
October 4, 2024 20:17 1s
Use docker for all Coq versions Dependabot Automerge #13: Pull request #161 synchronize by JasonGross
October 4, 2024 20:15 2s docker-only
docker-only
October 4, 2024 20:15 2s
Use docker for all Coq versions Dependabot Automerge #12: Pull request #161 opened by JasonGross
October 4, 2024 20:13 2s docker-only
docker-only
October 4, 2024 20:13 2s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) Dependabot Automerge #11: Pull request #160 opened by SkySkimmer
October 1, 2024 14:04 3s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 1, 2024 14:04 3s
Adapt to https://github.com/coq/coq/pull/19530 Dependabot Automerge #10: Pull request #159 synchronize by proux01
September 18, 2024 10:54 3s proux01:stdlib_repo
proux01:stdlib_repo
September 18, 2024 10:54 3s
Adapt to https://github.com/coq/coq/pull/19530 Dependabot Automerge #9: Pull request #159 synchronize by proux01
September 17, 2024 09:08 3s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 09:08 3s
Adapt to https://github.com/coq/coq/pull/19530 Dependabot Automerge #8: Pull request #159 opened by proux01
September 17, 2024 06:22 4s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 06:22 4s
speedup wf{3,4}_of_wf by factorizing raw matches to definitions Dependabot Automerge #7: Pull request #157 synchronize by JasonGross
July 29, 2024 21:47 1s SkySkimmer:speed-wf-of-wf
SkySkimmer:speed-wf-of-wf
July 29, 2024 21:47 1s
[CI] Update Python to install python-is-python3 Dependabot Automerge #6: Pull request #158 opened by JasonGross
July 29, 2024 21:37 2s python-is-python3
python-is-python3
July 29, 2024 21:37 2s
speedup wf{3,4}_of_wf by factorizing raw matches to definitions Dependabot Automerge #5: Pull request #157 opened by SkySkimmer
July 29, 2024 14:38 2s SkySkimmer:speed-wf-of-wf
SkySkimmer:speed-wf-of-wf
July 29, 2024 14:38 2s
Adapt to coq/coq#19384 (cleanup ustate universe demote APIs) Dependabot Automerge #4: Pull request #156 opened by SkySkimmer
July 17, 2024 12:12 3s SkySkimmer:more-demote
SkySkimmer:more-demote
July 17, 2024 12:12 3s
Rely on upstreamed Ltac2 functions (prompted by coq/coq#18973). Dependabot Automerge #3: Pull request #155 synchronize by rlepigre
June 3, 2024 21:14 3s rlepigre:br/prim-string
rlepigre:br/prim-string
June 3, 2024 21:14 3s
Rely on upstreamed Ltac2 functions (prompted by coq/coq#18973). Dependabot Automerge #2: Pull request #155 opened by rlepigre
June 3, 2024 12:14 3s rlepigre:br/prim-string
rlepigre:br/prim-string
June 3, 2024 12:14 3s
Bump etc/coq-scripts from 857071d to e4d9e81 Dependabot Automerge #1: Pull request #154 opened by dependabot bot
May 9, 2024 07:20 3m 46s dependabot/submodules/etc/coq-scripts-e4d9e81
dependabot/submodules/etc/coq-scripts-e4d9e81
May 9, 2024 07:20 3m 46s