Skip to content
Github CI

wit_tactic top type is tacvalue #3539

Sign in to view logs

wit_tactic top type is tacvalue

wit_tactic top type is tacvalue #3539

Triggered via pull request February 27, 2026 15:03
@SkySkimmerSkySkimmer
opened #21680
SkySkimmer:wit-tac-value
Status Cancelled
Total duration 14m 40s
Artifacts –

ci-github.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Linux (latest OCaml)
Process completed with exit code 2.
macOS
Process completed with exit code 2.
Windows
Canceling since a higher priority waiting request for Github CI @ SkySkimmer:wit-tac-value exists
Windows
The operation was canceled.
Github CI
Canceling since a higher priority waiting request for Github CI @ SkySkimmer:wit-tac-value exists