Skip to content

Merge branch 'master' into devel #1146

Merge branch 'master' into devel

Merge branch 'master' into devel #1146

Triggered via push November 2, 2025 11:22
Status Success
Total duration 1h 8m 0s
Artifacts

checks.yml

on: push
Check docs
3m 22s
Check docs
Static code analysis (Linux)
1m 33s
Static code analysis (Linux)
Static code analysis (macOS)
39s
Static code analysis (macOS)
Codespell
6s
Codespell
Formatting (sources)
8s
Formatting (sources)
Formatting (tests)
12s
Formatting (tests)
Linting (tests)
7s
Linting (tests)
Code coverage
1h 6m
Code coverage
Check cog output
17s
Check cog output
Fit to window
Zoom out
Zoom in