Skip to content

Merge branch 'develop' into further_test_cleanup #728

Merge branch 'develop' into further_test_cleanup

Merge branch 'develop' into further_test_cleanup #728

Triggered via push October 31, 2025 21:03
Status Success
Total duration 12m 17s
Artifacts
Matrix: build
coveralls_finish
14s
coveralls_finish
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
build (3.11)
manifest-file does not contain version 0.9.7, arch x86_64, platform unknown-linux-gnu. Falling back to GitHub releases.
build (3.13)
manifest-file does not contain version 0.9.7, arch x86_64, platform unknown-linux-gnu. Falling back to GitHub releases.
build (3.12)
manifest-file does not contain version 0.9.7, arch x86_64, platform unknown-linux-gnu. Falling back to GitHub releases.
build (3.10)
manifest-file does not contain version 0.9.7, arch x86_64, platform unknown-linux-gnu. Falling back to GitHub releases.
build (3.9)
manifest-file does not contain version 0.9.7, arch x86_64, platform unknown-linux-gnu. Falling back to GitHub releases.