.github/workflows/main.yml

add export to lean (#200) #1222

Sign in to view logs

Triggered via push June 25, 2026 16:35

fblanqui

main

Status Success

Total duration 34m 21s

Artifacts –

main.yml

on: push

Matrix: ci