.github/workflows/ci.yml

feat: improve the Lean backend #1840

Sign in to view logs

Triggered via pull request March 26, 2025 20:33

sonmarcho

synchronize #460

son/lean

Status Success

Total duration 16m 46s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged