Revert deployment pipeline to previous dispatch setup (PR #1517) #244
wojciechos
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
docs-deploy.yml
on: push
Deploy to GitHub Pages
50s