Skip to content

Make REST endpoints accept more logger name characters #6778

Make REST endpoints accept more logger name characters

Make REST endpoints accept more logger name characters #6778

Triggered via pull request August 27, 2025 23:49
Status Success
Total duration 12m 53s
Artifacts 3

ci-build.yml

on: pull_request
Matrix: build
Matrix: checks
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
build-log-java-21-ubuntu-24.04 Expired
149 KB
sha256:b4da8c167e74fea5221ef244f4914be43a3890f1a8a431d4a9fa465dc578fd3e
javadoc Expired
10.7 MB
sha256:92b0a878230ee659f4f52d67e7c2af4950f6524af128b35cd4253e677b0deb32
sat-summary-report Expired
13.2 KB
sha256:f3486df69a9d57f9a97fd6c132581d80721753a0ce607994b3ef82b58f864c40