Skip to content
Lean Action CI

Overhaul Prop' macro system to P! notation, including much more e… #14

Sign in to view logs

Overhaul Prop' macro system to P! notation, including much more e…

Overhaul Prop' macro system to P! notation, including much more e… #14

Triggered via push May 5, 2025 07:13
@a2435191a2435191
pushed 7d1df03
main
Status Success
Total duration 1m 22s
Artifacts –

lean_action_ci.yml

on: push
build
1m 18s
build
Fit to window
Zoom out
Zoom in