CI

CI: add auto-bumper #70

Sign in to view logs

Triggered via pull request May 12, 2025 10:37

bensimner

opened #18

add-ci-bumper

Status Cancelled

Total duration 4m 18s

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/18/merge' exists

build_rocq (4.14.1)

The operation was canceled.