Skip to content
GitHub macOS CI

Merge PR #18091: Ltac2: expose constructor -> inductive and construct… #2394

Sign in to view logs

Merge PR #18091: Ltac2: expose constructor -> inductive and construct…

Merge PR #18091: Ltac2: expose constructor -> inductive and construct… #2394

Triggered via push October 9, 2023 10:40
@SkySkimmerSkySkimmer
pushed dee9207
master
Status Success
Total duration 34m 2s
Artifacts –

ci-macos.yml

on: push
macOS
33m 46s
macOS
Fit to window
Zoom out
Zoom in