Clean GitHub pages

[Backport master] Add missing selection tool 0894b56 #3587

Sign in to view logs

Triggered via pull request December 4, 2024 11:19

sbrunner

closed #9552

backport/9551-to-master

Status Success

Total duration 1m 48s

Artifacts –

clean-ghpages.yaml

on: pull_request

Clean GitHub pages