Skip to content
Dependabot Automerge

Adapt to coq/coq#19690 (Hint Extern respects default proof mode) #23

Sign in to view logs

Adapt to coq/coq#19690 (Hint Extern respects default proof mode)

Adapt to coq/coq#19690 (Hint Extern respects default proof mode) #23

Triggered via pull request October 15, 2024 09:39
@SkySkimmerSkySkimmer
opened #132
SkySkimmer:ltacX-obligations
Status Skipped
Total duration 3s
Artifacts –

dependabot-automerge.yml

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