Skip to content

Merge branch 'master' into feature/new_distr #137

Merge branch 'master' into feature/new_distr

Merge branch 'master' into feature/new_distr #137

Triggered via push February 11, 2025 06:18
Status Success
Total duration 1m 6s
Artifacts

linters.yaml

on: push
Run flake8 against code tree
34s
Run flake8 against code tree
Run pylint against code tree
59s
Run pylint against code tree
Run REUSE to check license compliance
15s
Run REUSE to check license compliance
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Run flake8 against code tree
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
Run pylint against code tree
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down