Skip to content

update dataspace docu #597

update dataspace docu

update dataspace docu #597

Triggered via push October 22, 2025 10:31
Status Success
Total duration 43m 6s
Artifacts

cmake-build.yml

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

Annotations

16 warnings
dpkg (debian11, shared, stdfs, 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 (debian11, static, boost, serial)
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 (debian12, shared, stdfs, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian12, shared, boost, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian12, shared, boost, serial)
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 (debian12, static, 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 (debian12, static, boost, serial)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian12, static, stdfs, 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, static, boost, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian12, shared, stdfs, serial)
Failed to remove 'http.https://github.com/.extraheader' from the git config
dpkg (debian12, static, boost, mpi)
Failed to remove 'http.https://github.com/.extraheader' from the git config