Skip to content

add source options to ignore .github and .reuse #128

add source options to ignore .github and .reuse

add source options to ignore .github and .reuse #128

Triggered via push February 11, 2026 14:28
Status Success
Total duration 9s
Artifacts
Matrix: A build on different Debian distributions
Fit to window
Zoom out
Zoom in