Skip to content

Merge remote-tracking branch 'origin/master' into gh-pages #1553

Merge remote-tracking branch 'origin/master' into gh-pages

Merge remote-tracking branch 'origin/master' into gh-pages #1553

Triggered via push February 27, 2026 22:41
Status Success
Total duration 25m 14s
Artifacts

ci.yaml

on: push
Matrix: ubuntu_18_04_gcc
Matrix: ubuntu_22_04_clang
Matrix: ubuntu_22_04_gcc
Matrix: ubuntu_24_04_clang
Matrix: ubuntu_24_04_gcc
Matrix: ubuntu_25_10_gcc
Fit to window
Zoom out
Zoom in