Skip to content
GitHub macOS CI

Ltac2: Avoid generating useless letin when interning { foo with ... } #2356

Sign in to view logs

Ltac2: Avoid generating useless letin when interning { foo with ... }

Ltac2: Avoid generating useless letin when interning { foo with ... } #2356

Triggered via push September 28, 2023 13:50
@SkySkimmerSkySkimmer
pushed b7c7f66
ltac2-record-with
Status Success
Total duration 40m 8s
Artifacts –

ci-macos.yml

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