Clean GitHub pages

Don't have duplicated files in dist folder #3521

Sign in to view logs

Triggered via pull request October 29, 2024 09:24

sbrunner

closed #9513

no-dupplicated

Status Success

Total duration 2m 33s

Artifacts –

clean-ghpages.yaml

on: pull_request

Clean GitHub pages