Skip to content

Actions: lean-dojo/lean4code

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 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
bump fix Build check #9: Commit 3215b7e pushed by wadkisson
8m 21s main
main
8m 21s
Build check Build check #8: Scheduled
7m 40s main
main
7m 40s
Dependency freshness check Dependency freshness check #2: Scheduled
35s main
main
35s
LeanDojo-v2 / LeanCopilot integration check LeanDojo-v2 / LeanCopilot integration check #2: Scheduled
16s main
main
16s
Build check Build check #7: Scheduled
9m 38s main
main
9m 38s
Dependency freshness check Dependency freshness check #1: Scheduled
35s main
main
35s
LeanDojo-v2 / LeanCopilot integration check LeanDojo-v2 / LeanCopilot integration check #1: Scheduled
28s main
main
28s
ci: add unsigned release build workflow Release (unsigned) #1: Commit 5ea80a6 pushed by wadkisson
9m 26s v1.4.0
v1.4.0
9m 26s
ci: add unsigned release build workflow Build check #6: Commit 5ea80a6 pushed by wadkisson
11m 38s main
main
11m 38s
ci: fix app search path, gulp outputs it one level above vscode/, not… Build check #5: Commit 7f07942 pushed by wadkisson
11m 47s main
main
11m 47s
fix: restrict tars-panel tsconfig types to prevent ambient webpack ty… Build check #4: Commit f984538 pushed by wadkisson
9m 14s main
main
9m 14s
chore: pin @types/node to exact 20.19.43 across panel extensions to p… Build check #3: Commit 6db8f68 pushed by wadkisson
2m 42s main
main
2m 42s
ci: authenticate GitHub API downloads to avoid rate-limit 403s Build check #2: Commit 830be31 pushed by wadkisson
3m 48s main
main
3m 48s
ci: add build check, dependency freshness, and upstream integration w… Build check #1: Commit a1140b1 pushed by wadkisson
2m 20s main
main
2m 20s