Compile blueprint

LeanAgent Proofs #132

Sign in to view logs

Re-run triggered November 22, 2024 07:19

mo271

#67

Adarsh321123:LeanAgent

Status Cancelled

Total duration 5m 45s

Artifacts –

blueprint.yml

on: pull_request

Annotations

2 errors

Build project

Canceling since a higher priority waiting request for 'refs/pull/67/merge' exists

Build project

The operation was canceled.