Skip to content

feat(ClassicalMechanics): add rigid-body angular momentum and prove L = Iω #5812

feat(ClassicalMechanics): add rigid-body angular momentum and prove L = Iω

feat(ClassicalMechanics): add rigid-body angular momentum and prove L = Iω #5812

Triggered via pull request July 4, 2026 14:09
Status Success
Total duration 35m 42s
Artifacts

build.yml

on: pull_request
Lean based style linters
35m 39s
Lean based style linters
Python based style linter
13s
Python based style linter
Check for spelling errors
15s
Check for spelling errors
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Python based style linter
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Lean based style linters
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, liskin/gh-problem-matcher-wrap@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/