[Port dspace-7_x] Minor header button improvements #144
Triggered via pull request
October 23, 2023 17:50
dspace-bot
dspace-bot
opened
#2566
Status
Success
Total duration
13s
Artifacts
–
pull_request_opened.yml
on: pull_request_target
automation
2s