Skip to content

Catch NoSuchProcess error if process was killed early #149

Catch NoSuchProcess error if process was killed early

Catch NoSuchProcess error if process was killed early #149

Triggered via pull request September 17, 2023 15:35
Status Success
Total duration 2m 24s
Artifacts 3

build_docs.yml

on: pull_request
Matrix: run_benchmarks
generate-doxygen
43s
generate-doxygen
generate-doxybook2
38s
generate-doxybook2
build-mkdocs
34s
build-mkdocs
deploy_docs
0s
deploy_docs
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
generate-doxygen
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
generate-doxybook2
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build-mkdocs
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
api_reference Expired
97 KB
doxygen_xml Expired
1.78 MB
reference_system_site Expired
4.31 MB