CI

Adopt proof-pr v0.2.2 introduced metadata checks #229

Sign in to view logs

Triggered via pull request June 20, 2026 11:06

saagpatel

opened #98

chore/proof-pr-v0.2.2-introduced-metadata

Status Cancelled

Total duration 1m 29s

Artifacts –

ci.yml

on: pull_request

Matrix: test

Annotations

3 errors

test (3.11)

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

test (3.11)

The operation was canceled.

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