Skip to content
sphinx

pr_file_map.py: add ignore_pull_request, progress passes, and a dated title #9418

Sign in to view logs

pr_file_map.py: add ignore_pull_request, progress passes, and a dated title

pr_file_map.py: add ignore_pull_request, progress passes, and a dated title #9418

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_docs
1m 54s
deploy_docs
-1s
1m 53s