.github/workflows/main.yml

add export to lean #1208

Sign in to view logs

Triggered via pull request June 23, 2026 08:40

fblanqui

synchronize #200

fblanqui:new_lean

Status Failure

Total duration 18m 47s

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.