.github/workflows/ci.yml

Lean exercises #1732

Sign in to view logs

Triggered via pull request February 5, 2025 15:25

ayhon

opened #434

ayhon:lean/exercises

Status Success

Total duration 14m 48s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged