Skip to content
Basic checks

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes) #104

Sign in to view logs

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes)

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes) #104

Triggered via pull request February 13, 2025 14:43
@SkySkimmerSkySkimmer
opened #108
SkySkimmer:print-args-delim-tmp
Status Success
Total duration 20s
Artifacts –

basic-checks.yml

on: pull_request
basic-checks
6s
basic-checks
Fit to window
Zoom out
Zoom in