Skip to content
Windows CI

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

Sign in to view logs

Ltac2: named type variables can't be defined

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Windows (64)
1h 24m 22s
1h 24m 22s