Skip to content
CI (Coq, Debian)

Parse various directives starting with . in intel syntax #1140

Sign in to view logs

Parse various directives starting with . in intel syntax

Parse various directives starting with . in intel syntax #1140

Triggered via pull request March 5, 2025 06:30
@JasonGrossJasonGross
opened #2030
JasonGross:parse-directives
Status Cancelled
Total duration 4h 52m 46s
Artifacts –

coq-debian.yml

on: pull_request
Matrix: build
Matrix: test-standalone-container
Matrix: test-standalone-host
publish-standalone-dry-run
0s
publish-standalone-dry-run
debian-check-all
4s
debian-check-all
Fit to window
Zoom out
Zoom in

Annotations

2 errors
debian-sid
Canceling since a higher priority waiting request for CI (Coq, Debian)-sid-parse-directives exists
debian-check-all
Process completed with exit code 1.