scripts: de-duplicate and harden the close_pull_requests_with_*.sh ba… #8212
cclausssphinx.yml
on: push
build_docs
1m 44s
deploy_docs
8s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
github-pages
Expired
|
3.74 MB |
sha256:d933b7409f297a1e7a1ad214d914a8c8e46a33060c636e3063c4de583299d9d3
|
|