Skip to content

Actions: alok/LeanPlot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 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
Update to Support 4.30.0 Claude Code #16: Issue comment #6 (comment) created by alok
Skipped
Skipped
Build failure in LeanPlot.ToFloat due to incorrect markdown header nesting Claude Code #15: Issue comment #7 (comment) created by alok
1s
1s
Update docs generator for Verso 4.32 Lean Action CI #44: Commit 93ebc25 pushed by alok
53s main
main
53s
Update docs generator for Verso 4.32 Build and Deploy Docs #14: Commit 93ebc25 pushed by alok
4m 2s main
main
4m 2s
Update to Lean 4.32.0-rc1 Claude Code #14: Issue comment #8 (comment) created by alok
1s
1s
Update to Lean 4.32.0-rc1 Claude Code #13: Issue comment #8 (comment) created by claude Bot
1s
1s
Update to Lean 4.32.0-rc1 Claude Code Review #6: Pull request #8 opened by alok
32s agent/alok-777-lean-4.32
agent/alok-777-lean-4.32
32s
Update to Lean 4.32.0-rc1 Lean Action CI #43: Pull request #8 opened by alok
53s agent/alok-777-lean-4.32
agent/alok-777-lean-4.32
53s
Update docs generator for Verso 4.32 Lean Action CI #42: Commit afeb804 pushed by alok
56s agent/alok-777-lean-4.32
agent/alok-777-lean-4.32
56s
Fix comment formatting Lean Action CI #41: Commit 55d17d2 pushed by alok
1m 42s main
main
1m 42s
Fix comment formatting Build and Deploy Docs #13: Commit 55d17d2 pushed by alok
3m 0s main
main
3m 0s
Fix comment formatting Claude Code #12: Issue comment #5 (comment) created by alok
1s
1s
Build failure in LeanPlot.ToFloat due to incorrect markdown header nesting Claude Code #11: Issue #7 opened by motisn
2s
2s
Update to Support 4.30.0 Claude Code #9: Pull request #6 created by zaporter
Action required
Action required
Update to Support 4.30.0 Claude Code #8: Pull request #6 created by zaporter
Action required
Action required
Fix #plot command docstring and safety Lean Action CI #38: Commit 65a2f1a pushed by alok
32s algebra-tunable-core
algebra-tunable-core
32s
chore: update toolchain to v4.27.0-rc1 Build and Deploy Docs #12: Commit 4cbd9bb pushed by alok
2m 57s main
main
2m 57s
chore: update toolchain to v4.27.0-rc1 Lean Action CI #37: Commit 4cbd9bb pushed by alok
1m 44s main
main
1m 44s
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