Skip to content
CI (Coq, Alpine)

Make build.zig files compatible with newly released zig 0.12 #641

Sign in to view logs

Make build.zig files compatible with newly released zig 0.12

Make build.zig files compatible with newly released zig 0.12 #641

Triggered via pull request May 18, 2024 08:24
@jedisct1jedisct1
opened #1913
jedisct1:zig0.12
Status Cancelled
Total duration 2m 38s
Artifacts 2

coq-alpine.yml

on: pull_request
Matrix: build
Matrix: test-standalone
publish-standalone
0s
publish-standalone
alpine-check-all
0s
alpine-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
alpine-edge
Canceling since a higher priority waiting request for 'CI (Coq, Alpine)-alpine-edge-zig0.12' exists
alpine-edge
The operation was canceled.
alpine-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-edge Expired
6.35 KB
ExtractionOCaml-edge Expired
5.9 KB