Build Lean project

Update the README CI badge #4

Sign in to view logs

Triggered via push February 10, 2025 08:06

YaelDillies

master

Status Failure

Total duration 25m 30s

Artifacts –

push_master.yml

on: push

Annotations

1 error

Build project

Process completed with exit code 1.