Skip to content
GitHub macOS CI

Ltac2: named type variables can't be defined #2374

Sign in to view logs

Ltac2: named type variables can't be defined

Ltac2: named type variables can't be defined #2374

Triggered via push October 3, 2023 08:31
@SkySkimmerSkySkimmer
pushed 68d46c9
ltac2-rigid-typ-var
Status Success
Total duration 34m 20s
Artifacts –

ci-macos.yml

on: push
macOS
34m 6s
macOS
Fit to window
Zoom out
Zoom in