Rocq

Use arm runner #7

Sign in to view logs

Triggered via pull request April 15, 2025 14:40

dc-mak

synchronize #75

dc-mak:use-arm-runner

Status Cancelled

Total duration 1m 28s

Artifacts –

rocq.yml

on: pull_request

Matrix: build

Annotations

2 errors

build (5.2.0)

Canceling since a higher priority waiting request for 'ci-Rocq-refs/pull/75/merge' exists

build (5.2.0)

The operation was canceled.