Skip to content

Merge remote-tracking branch 'upstream/pr/508' into develop #673

Merge remote-tracking branch 'upstream/pr/508' into develop

Merge remote-tracking branch 'upstream/pr/508' into develop #673

Triggered via push August 11, 2023 23:31
Status Success
Total duration 45m 22s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

CI.yml

on: push
Matrix: linux-coverage
Matrix: linux-fast
Matrix: linux-legacy
Matrix: linux-ossfuzz
Matrix: linux-sonarcloud-static-analysis
Matrix: linux-static-analysis
Matrix: macOS-coverage
Matrix: macOS-fast
Matrix: macOS-legacy
Matrix: windows-msys2-coverage
Matrix: windows-msys2-fast
Fit to window
Zoom out
Zoom in

Annotations

1 warning
linux-coverage (linux, debian:trixie-slim, GNU, 13, gcc-13, g++-13, gcov-13, Coverage) / debian:trixie-slim.GNU13.Coverage
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/