Skip to content

Issue 684: add documention and tests for debian 13 #578

Issue 684: add documention and tests for debian 13

Issue 684: add documention and tests for debian 13 #578

Triggered via pull request August 11, 2025 11:13
Status Success
Total duration 31m 45s
Artifacts

cmake-build.yml

on: pull_request
Matrix: dpkg
Matrix: macos-13
Matrix: ubuntu
Matrix: windows-2022
Fit to window
Zoom out
Zoom in

Annotations

16 warnings
dpkg (debian13, shared, boost, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian13, static, boost, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian11, static, stdfs, serial)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian13, shared, stdfs, serial)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian13, static, stdfs, serial)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian13, shared, boost, serial)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian13, shared, stdfs, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian11, shared, stdfs, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian13, static, boost, serial)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian11, static, boost, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian11, shared, stdfs, serial)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian11, shared, boost, serial)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian13, static, stdfs, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian11, static, stdfs, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian11, shared, boost, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian11, static, boost, serial)
Failed to remove 'http.https://github.com/.extraheader' from the git config