Skip to content
Lean Action CI

Port fundamentals to Lean 4 #16

Sign in to view logs

Port fundamentals to Lean 4

Port fundamentals to Lean 4 #16

Triggered via pull request April 23, 2025 23:38
@str4dstr4d
opened #5
port-fundamentals-to-lean4
Status Success
Total duration 1m 52s
Artifacts –

lean_action_ci.yml

on: pull_request
build
1m 49s
build
Fit to window
Zoom out
Zoom in