Skip to content

Merge branch 'main' into fix-ci-permissions #3123

Merge branch 'main' into fix-ci-permissions

Merge branch 'main' into fix-ci-permissions #3123

Re-run triggered February 10, 2026 22:50
Status Success
Total duration 10m 42s
Artifacts

ci-workflow.yml

on: push
Static_Analysis  /  SpotBugs
17s
Static_Analysis / SpotBugs
Examples  /  MigrationExamples
1m 25s
Examples / MigrationExamples
Matrix: Build
Fit to window
Zoom out
Zoom in