Skip to content
Port merged Pull Request

[Port dspace-7_x] Update pl.json5 #33

Sign in to view logs

[Port dspace-7_x] Update pl.json5

[Port dspace-7_x] Update pl.json5 #33

Triggered via pull request August 24, 2023 21:03
@tdonohuetdonohue
closed #2459
Status Success
Total duration 16s
Artifacts –

port_merged_pull_request.yml

on: pull_request_target
port_pr
6s
port_pr
Fit to window
Zoom out
Zoom in