Skip to content
Port merged Pull Request

Minor header button improvements #120

Sign in to view logs

Minor header button improvements

Minor header button improvements #120

Triggered via pull request October 23, 2023 17:50
@tdonohuetdonohue
closed #2527
Status Success
Total duration 22s
Artifacts –

port_merged_pull_request.yml

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