CI (Coq, MacOS)

paperify spec #4379

Sign in to view logs

Triggered via pull request April 4, 2024 20:30

synchronize #1849

andres-erbsen:paperify-spec

Status Cancelled

Total duration 4m 4s

Artifacts –

coq-macos.yml

on: pull_request

test-standalone

publish-standalone

macos-check-all

Annotations

3 errors

Canceling since a higher priority waiting request for 'CI (Coq, MacOS)-paperify-spec' exists

The operation was canceled.

macos-check-all

Process completed with exit code 1.