.github/workflows/ci.yml

Update README: Add link to Lean tutorial, update ICFP 24 paper #1674

Sign in to view logs

Triggered via pull request January 3, 2025 15:48

R1kM

synchronize #408

afromher/tutorial

Status Success

Total duration 54s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged