Skip to content
GitHub macOS CI

Ltac2: Fresh.Free.t = ident FSet.t #2389

Sign in to view logs

Ltac2: Fresh.Free.t = ident FSet.t

Ltac2: Fresh.Free.t = ident FSet.t #2389

Triggered via push October 5, 2023 08:25
@SkySkimmerSkySkimmer
pushed 58ef0ba
ltac2-fresh-set
Status Success
Total duration 34m 24s
Artifacts –

ci-macos.yml

on: push
macOS
34m 11s
macOS
Fit to window
Zoom out
Zoom in