Skip to content
GitHub macOS CI

stdlib use custom wrapper to avoid depending on coq-core #4480

Sign in to view logs

stdlib use custom wrapper to avoid depending on coq-core

stdlib use custom wrapper to avoid depending on coq-core #4480

Triggered via push December 18, 2024 12:30
@SkySkimmerSkySkimmer
pushed 81172bc
stdlib-no-coq
Status Success
Total duration 21m 14s
Artifacts –

ci-macos.yml

on: push
macOS
21m 5s
macOS
Fit to window
Zoom out
Zoom in