Skip to content
GitHub macOS CI

[ci] Add Windows native job to Coq CI #15610

Sign in to view logs

[ci] Add Windows native job to Coq CI

[ci] Add Windows native job to Coq CI #15610

Triggered via pull request April 11, 2025 14:00
@SkySkimmerSkySkimmer
synchronize #20464
ejgallego:ci+win_native
Status Skipped
Total duration 1s
Artifacts –

ci-macos.yml

on: pull_request
macOS
0s
macOS
Fit to window
Zoom out
Zoom in