feat: robotics lesson and recompile on changed deps #1101

Merged
davide merged 2 commits from feat/lessons-and-deps-tracking into main 2026-10-18 13:06:10 +00:00
Owner
No description provided.
feat: robotics lesson and recompile on changed deps
Some checks failed
check-commitizen.yaml / Check the PR title (pull_request) Successful in 2s
check-formatter.yaml / Checks with formatters (pull_request) Failing after 9s
check-linter.yaml / Checks with linters (pull_request) Successful in 13s
check-build.yaml / Check that project builds (pull_request) Successful in 1m4s
check-syntax.yaml / Checks with static tools (pull_request) Successful in 42s
forgejo-agent / LLM Bot response generation (pull_request) Successful in 2s
check-yamllint.yaml / Lint yaml files (pull_request) Successful in 5s
e32c6bf546
davide scheduled this pull request to auto merge when all checks succeed 2026-10-18 13:03:45 +00:00
chore: format files
All checks were successful
check-formatter.yaml / Checks with formatters (pull_request) Successful in 12s
check-linter.yaml / Checks with linters (pull_request) Successful in 12s
check-build.yaml / Check that project builds (pull_request) Successful in 59s
check-yamllint.yaml / Lint yaml files (pull_request) Successful in 4s
check-syntax.yaml / Checks with static tools (pull_request) Successful in 39s
244b9671bc
davide merged commit 9d5a71d827 into main 2026-10-18 13:06:10 +00:00
davide deleted branch feat/lessons-and-deps-tracking 2026-10-18 13:06:11 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
university/notes!1101
No description provided.