Skip to content

Check for username instead of Shib-Session-ID (#97) #13

Check for username instead of Shib-Session-ID (#97)

Check for username instead of Shib-Session-ID (#97) #13

Triggered via push October 31, 2023 15:19
Status Success
Total duration 21s
Artifacts
PHP CodeSniffer
12s
PHP CodeSniffer
Fit to window
Zoom out
Zoom in