Skip to content
Port merged Pull Request

[Port dspace-7_x] Minor header button improvements #121

Sign in to view logs

[Port dspace-7_x] Minor header button improvements

[Port dspace-7_x] Minor header button improvements #121

Triggered via pull request October 23, 2023 18:57
@alanorthalanorth
closed #2566
Status Success
Total duration 25s
Artifacts –

port_merged_pull_request.yml

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