Skip to content

Actions: lean-dojo/lean4code

Actions

Build check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
13 workflow runs
13 workflow runs

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
Build check Build check #13: Scheduled
8m 32s main
main
8m 32s
Build check Build check #12: Scheduled
10m 53s main
main
10m 53s
Build check Build check #11: Scheduled
9m 7s main
main
9m 7s
Build check Build check #10: Scheduled
9m 25s main
main
9m 25s
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
Build check Build check #7: Scheduled
9m 38s main
main
9m 38s
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