Skip to content
Dependabot Automerge

Adapt to coq/coq#19783 (ml_tactic_name contains hash) #18

Sign in to view logs

Adapt to coq/coq#19783 (ml_tactic_name contains hash)

Adapt to coq/coq#19783 (ml_tactic_name contains hash) #18

Triggered via pull request October 30, 2024 12:57
@SkySkimmerSkySkimmer
opened #163
SkySkimmer:ltac2-hashmaps
Status Skipped
Total duration 3s
Artifacts –

dependabot-automerge.yml

on: pull_request
dependabot-automerge
0s
dependabot-automerge
Fit to window
Zoom out
Zoom in