CI

Integrate Rocq checker into CI #54

Sign in to view logs

Triggered via pull request April 17, 2025 11:11

bensimner

synchronize #14

wip-rocq-ci

Status Cancelled

Total duration 8m 16s

Artifacts –

ci.yml

on: pull_request

Matrix: build_rocq

Annotations

2 errors

build_rocq (4.14.1)

Canceling since a higher priority waiting request for 'CI-refs/pull/14/merge' exists

build_rocq (4.14.1)

The operation was canceled.