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
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
fix: SmartPlottingDemo renders + add Verso documentation Lean Action CI #22: Commit f16d144 pushed by alok
1m 0s main
main
1m 0s
Merge pull request #4 from alok/add-claude-github-actions-1753997639268 Lean Action CI #21: Commit 5a5969c pushed by alok
1m 0s main
main
1m 0s
Add Claude Code GitHub Workflow Lean Action CI #20: Pull request #4 synchronize by alok
38s add-claude-github-actions-1753997639268
add-claude-github-actions-1753997639268
38s
Add Claude Code GitHub Workflow Claude Code Review #3: Pull request #4 synchronize by alok
1m 34s add-claude-github-actions-1753997639268
add-claude-github-actions-1753997639268
1m 34s
Update claude.yml Lean Action CI #19: Commit 1fea173 pushed by alok
39s add-claude-github-actions-1753997639268
add-claude-github-actions-1753997639268
39s
Add Claude Code GitHub Workflow Lean Action CI #18: Pull request #4 synchronize by alok
43s add-claude-github-actions-1753997639268
add-claude-github-actions-1753997639268
43s
Add Claude Code GitHub Workflow Claude Code Review #2: Pull request #4 synchronize by alok
1m 40s add-claude-github-actions-1753997639268
add-claude-github-actions-1753997639268
1m 40s
Update claude-code-review.yml Lean Action CI #17: Commit 37c054f pushed by alok
43s add-claude-github-actions-1753997639268
add-claude-github-actions-1753997639268
43s
Add Claude Code GitHub Workflow Lean Action CI #16: Pull request #4 opened by alok
56s add-claude-github-actions-1753997639268
add-claude-github-actions-1753997639268
56s
Add Claude Code GitHub Workflow Claude Code Review #1: Pull request #4 opened by alok
1m 17s add-claude-github-actions-1753997639268
add-claude-github-actions-1753997639268
1m 17s
"Claude Code Review workflow" Lean Action CI #15: Commit e191537 pushed by alok
57s add-claude-github-actions-1753997639268
add-claude-github-actions-1753997639268
57s
"Claude PR Assistant workflow" Lean Action CI #14: Commit 5a86b87 pushed by alok
59s add-claude-github-actions-1753997639268
add-claude-github-actions-1753997639268
59s
feat: Implement #assert_keys macro for compile-time JSON validation Lean Action CI #13: Commit 90fd935 pushed by alok
1m 0s add-claude-github-actions-1753997639268
add-claude-github-actions-1753997639268
1m 0s
feat: Implement #assert_keys macro for compile-time JSON validation Lean Action CI #12: Commit 90fd935 pushed by alok
59s main
main
59s
docs(readme): replace placeholder screenshots with actual plot images Lean Action CI #11: Commit 875b016 pushed by alok
59s main
main
59s
Merge branch 'refactor/onomastics-fragment-layer' Lean Action CI #10: Commit b833cd0 pushed by alok
1m 0s main
main
1m 0s
docs: add Apache License v2.0 Lean Action CI #9: Commit 8baaa74 pushed by alok
27s main
main
27s
Overlay operators (*) (/) and operator demo Lean Action CI #8: Pull request #3 opened by alok
58s feat/operator-ops-demo
feat/operator-ops-demo
58s
feat(core): add overlay operators * and /; demo OperatorPlayground sh… Lean Action CI #7: Commit 8cc20bf pushed by alok
36s feat/operator-ops-demo
feat/operator-ops-demo
36s
feat(api,components): introduce Tier-0 ergonomics layer with lineChar… Lean Action CI #6: Commit ea36787 pushed by alok
32s ergonomics/tier0-chart
ergonomics/tier0-chart
32s