.github/workflows/ci.yml

feat: update Lean usage section in the README #1727

Sign in to view logs

Re-run triggered February 3, 2025 16:49

sonmarcho

#430

ayhon:patch-1

Status Success

Total duration 1m 20s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged