Skip to content
GitHub macOS CI

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

Sign in to view logs

Ltac2: named type variables can't be defined

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
36m 1s
36m 1s