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

Triggered via push September 28, 2023 13:38
@SkySkimmerSkySkimmer
pushed d786767
ltac2-record-with
Status Success
Total duration 36m 1s
Artifacts –

ci-macos.yml

on: push
macOS
35m 47s
macOS
Fit to window
Zoom out
Zoom in