Skip to content

Merge branch 'devel' into pre-commit-ci-update-config #5

Merge branch 'devel' into pre-commit-ci-update-config

Merge branch 'devel' into pre-commit-ci-update-config #5

Annotations

1 warning

nix (ubuntu)

succeeded Dec 4, 2024 in 21s