Lean CI

Merge pull request #130 from MarcusDunn/dependabot/cargo/lean/tracing… #251

Sign in to view logs

Triggered via push December 10, 2023 16:37

MarcusDunn

main

Status Cancelled

Total duration 7s

Artifacts –

lean.yml

on: push

Annotations

1 error

Canceling since a higher priority waiting request for 'Lean CI-refs/heads/main' exists