Skip to content

Actions: alok/LeanPlot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(axis): initial Axis module (duplicate file cleanup) Lean Action CI #5: Commit 2aa3651 pushed by alok
26s main
main
26s
feat(axis): add LeanPlot.Axis module with label-aware XAxis/YAxis c… Lean Action CI #4: Commit 0da0b6e pushed by alok
26s main
main
26s
docs(changelog, todo): reflect ToFloat introduction and helper genera… Lean Action CI #3: Commit 598659c pushed by alok
22s main
main
22s
feat(core): introduce ToFloat typeclass and update sampling helpers Lean Action CI #2: Commit 34e80d0 pushed by alok
26s main
main
26s
feat: v1.0.0 – first plotting demo (y=x & y=x²) Lean Action CI #1: Commit 01d8373 pushed by alok
33s main
main
33s