.github/workflows/main.yml

add export to lean #1218

Sign in to view logs

Triggered via pull request June 25, 2026 10:57

fblanqui

synchronize #200

fblanqui:new_lean

Status Failure

Total duration 14m 12s

Artifacts –

main.yml

on: pull_request

Matrix: ci

Annotations

1 error

ci (3.20.2, 5.3.0, 8.03.06, 3.1.0, 37af947, master, 2.7, 9.0.0)

Process completed with exit code 2.