Skip to content

Merge branch 'main' into repo-cleanup #337

Merge branch 'main' into repo-cleanup

Merge branch 'main' into repo-cleanup #337

Triggered via push July 1, 2024 13:50
Status Success
Total duration 2m 17s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Test on 1.22
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1
Test on 1.21
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1