chore: update after nightly 28 oct #21

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request October 28, 2024 18:36

synchronize #4

opencompl:update-lean-oct-28

Status Failure

Total duration 51s

Artifacts –

lean_action_ci.yml

on: pull_request

Annotations

2 errors

lake build failed

Process completed with exit code 1.