Skip to content

Actions: alok/LeanPlot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add recursive SVG rendering for styled/overlay graphics Build and Deploy Docs #11: Commit e22b4ab pushed by alok
4m 52s main
main
4m 52s
feat: Add recursive SVG rendering for styled/overlay graphics Lean Action CI #36: Commit e22b4ab pushed by alok
25s main
main
25s
fix: Remove lean language tag from doc comment code blocks Build and Deploy Docs #10: Commit c47623b pushed by alok
4m 48s main
main
4m 48s
fix: Remove lean language tag from doc comment code blocks Lean Action CI #35: Commit c47623b pushed by alok
26s main
main
26s
fix: CI lint driver issue and add Verso code roles Lean Action CI #34: Commit d03f912 pushed by alok
29s main
main
29s
fix: CI lint driver issue and add Verso code roles Build and Deploy Docs #9: Commit d03f912 pushed by alok
4m 57s main
main
4m 57s
fix: Verso doc comment roles and JsonExt parsing issue Lean Action CI #33: Commit b86c797 pushed by alok
36s main
main
36s
fix: Verso doc comment roles and JsonExt parsing issue Build and Deploy Docs #8: Commit b86c797 pushed by alok
4m 45s main
main
4m 45s
feat: Add first-class Graphic type with algebraic operators and PNG/S… Build and Deploy Docs #7: Commit 67b23cc pushed by alok
4m 50s main
main
4m 50s
feat: Add first-class Graphic type with algebraic operators and PNG/S… Lean Action CI #32: Commit 67b23cc pushed by alok
42s main
main
42s
chore: trigger docs rebuild Build and Deploy Docs #6: Commit dc3ef16 pushed by alok
5m 9s main
main
5m 9s
chore: trigger docs rebuild Lean Action CI #31: Commit dc3ef16 pushed by alok
32s main
main
32s
feat: add doc comment support to #plot as captions Lean Action CI #30: Commit 0ca2a12 pushed by alok
32s main
main
32s
feat: add doc comment support to #plot as captions Build and Deploy Docs #5: Commit 0ca2a12 pushed by alok
4m 52s main
main
4m 52s
docs: Fix Verso code blocks and {name} roles Build and Deploy Docs #4: Commit 49dcede pushed by alok
4m 55s main
main
4m 55s
docs: Fix Verso code blocks and {name} roles Lean Action CI #29: Commit 49dcede pushed by alok
25s main
main
25s
docs: Add Verso markup to API.lean Build and Deploy Docs #3: Commit da836bd pushed by alok
4m 35s main
main
4m 35s
docs: Add Verso markup to API.lean Lean Action CI #28: Commit da836bd pushed by alok
25s main
main
25s
refactor: Major cleanup and add SVG documentation images Lean Action CI #27: Commit ecb55dd pushed by alok
32s main
main
32s
refactor: Major cleanup and add SVG documentation images Build and Deploy Docs #2: Commit ecb55dd pushed by alok
4m 58s main
main
4m 58s
ci: Add GitHub Actions workflow for docs deployment Lean Action CI #26: Commit dab18f7 pushed by alok
22s main
main
22s
ci: Add GitHub Actions workflow for docs deployment Build and Deploy Docs #1: Commit dab18f7 pushed by alok
5m 7s main
main
5m 7s
docs: Restructure Verso documentation following reference manual patt… Lean Action CI #25: Commit 29112ec pushed by alok
23s main
main
23s
chore: Update to Lean 4.26.0-rc2 and fix Verso documentation Lean Action CI #24: Commit 2a8b78d pushed by alok
59s main
main
59s
fix: Label code blocks properly in Verso docs Lean Action CI #23: Commit d43dac1 pushed by alok
27s main
main
27s