Skip to content
GitHub macOS CI

Merge PR #19912: CI: also build coq-stdlib in pkg:opam job #4388

Sign in to view logs

Merge PR #19912: CI: also build coq-stdlib in pkg:opam job

Merge PR #19912: CI: also build coq-stdlib in pkg:opam job #4388

Triggered via push December 10, 2024 16:30
@SkySkimmerSkySkimmer
pushed 027de83
master
Status Success
Total duration 33m 27s
Artifacts –

ci-macos.yml

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