.github/workflows/ci.yml

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

Sign in to view logs

Triggered via pull request January 3, 2025 15:47

R1kM

opened #408

afromher/tutorial

Status Success

Total duration 58s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged