Skip to content
GitHub macOS CI

Merge PR #18095: Extensions to the Ltac2 standard library #2412

Sign in to view logs

Merge PR #18095: Extensions to the Ltac2 standard library

Merge PR #18095: Extensions to the Ltac2 standard library #2412

Triggered via push October 16, 2023 10:13
@SkySkimmerSkySkimmer
pushed 49fce3a
master
Status Success
Total duration 36m 41s
Artifacts –

ci-macos.yml

on: push
macOS
36m 26s
macOS
Fit to window
Zoom out
Zoom in