Skip to content

Make REST endpoints accept more logger name characters (#4983) #1

Make REST endpoints accept more logger name characters (#4983)

Make REST endpoints accept more logger name characters (#4983) #1

Triggered via push September 15, 2025 08:55
Status Success
Total duration 13m 33s
Artifacts 3

ci-build.yml

on: push
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
151 KB
sha256:9c633983a333207fc426205f969b0456c0413dec35d09360f9511916e0fbe23f
javadoc Expired
10.7 MB
sha256:783df3313d6f0aebd940a71e3fb6ea884e4bf9c0bc245b9f33a881a4a4736b15
sat-summary-report Expired
13.2 KB
sha256:f24955af2dfeeb6d7d15e646b4d39470e9408369ca110eb1697472f4e39f2670