Skip to content
Delete gh-pages preview after PR merge

requests: set User-Agent to "ci" in a CI environment #174

Sign in to view logs

requests: set User-Agent to "ci" in a CI environment

requests: set User-Agent to "ci" in a CI environment #174

Run time

Learn about OS pricing on GitHub Actions
Job Run time
delete_gh-pages_preview
13s
13s