Skip to content
Dependabot Automerge

Rely on upstreamed Ltac2 functions (prompted by coq/coq#18973). #3

Sign in to view logs

Rely on upstreamed Ltac2 functions (prompted by coq/coq#18973).

Rely on upstreamed Ltac2 functions (prompted by coq/coq#18973). #3

Re-run triggered June 4, 2024 04:35
@JasonGrossJasonGross
#155
rlepigre:br/prim-string
Status Skipped
Total duration 3s
Artifacts –

dependabot-automerge.yml

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