CN-Coq

CN: Deprecate use of Generic error constructor #183

Sign in to view logs

Triggered via push March 5, 2025 12:17

dc-mak

master

Status Cancelled

Total duration 21m 35s

Artifacts –

ci-cn-coq.yml

on: push

Matrix: build

Annotations

2 errors

build (5.2.0)

Canceling since a higher priority waiting request for 'ci-CN-Coq-refs/heads/master' exists

build (5.2.0)

The operation was canceled.