CI: Various fixes #191
gtristan
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
8 warnings
|
tests (mypy)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
docs
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
tests (lint)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
tests (fedora-missing-deps)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
tests (ubuntu-22.04)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
tests (debian-11)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
tests (fedora-40)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
tests (bst-master, true)
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
docs
Expired
|
7.4 MB |
sha256:6aeb5dd213919161e82bd2255a3c0922d6993857f3077bc95655ffe892275d5c
|
|