Skip to content
GitHub macOS CI

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

Sign in to view logs

Ltac2: named type variables can't be defined

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

Triggered via push October 5, 2023 08:30
@SkySkimmerSkySkimmer
pushed 69bcb60
ltac2-rigid-typ-var
Status Success
Total duration 34m 40s
Artifacts –

ci-macos.yml

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