Skip to content
Windows CI

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

Sign in to view logs

Ltac2: named type variables can't be defined

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Windows (64)
59m 45s
59m 45s