8000 Merge pull request #177 from tum-ei-eda/develop · tum-ei-eda/mlonmcu@b63ff44 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Lint

Merge pull request #177 from tum-ei-eda/develop #796

Sign in to view logs

Merge pull request #177 from tum-ei-eda/develop

Merge pull request #177 from tum-ei-eda/develop #796

Triggered via push October 1, 2024 13:33
@PhilippvKPhilippvK
pushed b63ff44
develop
Status Success
Total duration 28s
Artifacts –

style.yml

on: push
Run linters
18s
Run linters
Check for License headers
6s
Check for License headers
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Run linters
The following actions use a deprecated Node.js version and will be forced to run on node20: wearerequired/lint-action@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
0