Skip to content

Adding mirror plugins #192

Adding mirror plugins

Adding mirror plugins #192

Triggered via pull request December 6, 2024 11:23
Status Success
Total duration 8m 16s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Matrix: tests
Fit to window
Zoom out
Zoom in

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 (fedora-40)
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 (ubuntu-22.04)
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.41 MB
sha256:8f2b89e0d4ee6a2d8589cead08f701033f5d6aa7e5d857eeee78d2c340576c2c