Lean Action CI

6 #451

Sign in to view logs

Triggered via pull request March 5, 2026 08:28

TwoFX

opened #272

TwoFX:julia/6

Status Success

Total duration 35s

Artifacts –

lean_action_ci.yml

on: pull_request

⚡