Skip to content

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

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

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

Triggered via push November 17, 2023 20:06
Status Success
Total duration 7m 34s
Artifacts

test_cc.yml

on: push