Skip to content
Dependabot Automerge

Adapt to coq/coq#19620 (Global.push_context_set no strict argument) #16

Sign in to view logs

Adapt to coq/coq#19620 (Global.push_context_set no strict argument)

Adapt to coq/coq#19620 (Global.push_context_set no strict argument) #16

Triggered via pull request October 15, 2024 09:07
@JasonGrossJasonGross
synchronize #160
SkySkimmer:push-context-strict
Status Skipped
Total duration 3s
Artifacts –

dependabot-automerge.yml

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