Lean Action CI

JALR kernel error fix #402

Sign in to view logs

Triggered via pull request October 3, 2025 18:44

PetarMax

opened #84

petar/fix-kernel-jalr

Status Success

Total duration 7m 13s

Artifacts –

lean_action_ci.yml

on: pull_request