Skip to content

Merge pull request #3681 from softins/cpp17-resultof-deprecation #1219

Merge pull request #3681 from softins/cpp17-resultof-deprecation

Merge pull request #3681 from softins/cpp17-resultof-deprecation #1219

Triggered via push May 8, 2026 17:37
Status Success
Total duration 10s
Artifacts
check-and-update-copyright-notices
6s
check-and-update-copyright-notices
delete-old-pr-branch
delete-old-pr-branch
Fit to window
Zoom out
Zoom in