Skip to content

document-portal: Don't invalidate directories #2184

document-portal: Don't invalidate directories

document-portal: Don't invalidate directories #2184

Triggered via pull request December 20, 2023 13:40
Status Success
Total duration 4m 30s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

check.yml

on: pull_request
Matrix: Ubuntu 22.04 build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Ubuntu 22.04 build (clang, address)
Failed to remove 'http.https://github.com/.extraheader' from the git config
Ubuntu 22.04 build (gcc, address)
Failed to remove 'http.https://github.com/.extraheader' from the git config

Artifacts

Produced during runtime
Name Size
test logs Expired
451 KB