.github/workflows/ci.yml

Make a massive revamp of the Lean backend #1752

Sign in to view logs

Triggered via pull request February 25, 2025 18:15

sonmarcho

synchronize #444

son/lean

Status Failure

Total duration 14m 13s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged

Annotations

1 error and 1 warning

Process completed with exit code 2.

This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.321.0. Please update to the latest version 2.322.0