Skip to content
GitHub macOS CI

Relax lookahead test for ltac2 { foo with ... } to allow qualids #2354

Sign in to view logs

Relax lookahead test for ltac2 { foo with ... } to allow qualids

Relax lookahead test for ltac2 { foo with ... } to allow qualids #2354

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
35m 47s
35m 47s