Skip to content

Actions: alok/LeanPlot

Actions

Build and Deploy Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update toolchain to v4.27.0-rc1 Build and Deploy Docs #12: Commit 4cbd9bb pushed by alok
2m 57s main
main
2m 57s
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
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: 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 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
chore: trigger docs rebuild Build and Deploy Docs #6: Commit dc3ef16 pushed by alok
5m 9s main
main
5m 9s
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: Add Verso markup to API.lean Build and Deploy Docs #3: Commit da836bd pushed by alok
4m 35s main
main
4m 35s
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 Build and Deploy Docs #1: Commit dab18f7 pushed by alok
5m 7s main
main
5m 7s