Skip to content

Merge pull request #5020 from adamkankovsky/webui-replace-backticks-d… #1867

Merge pull request #5020 from adamkankovsky/webui-replace-backticks-d…

Merge pull request #5020 from adamkankovsky/webui-replace-backticks-d… #1867

Triggered via push August 8, 2023 18:03
Status Success
Total duration 1m 8s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Differential ShellCheck SARIF Expired
15.7 KB