Lean Action CI

streamlined jalr proof (#64) #316

Sign in to view logs

Triggered via push July 28, 2025 19:41

dtumad

main

Status Success

Total duration 2m 36s

Artifacts –

lean_action_ci.yml

on: push