Skip to content
Build and deploy documentation

github-workflow: add a timeout for jobs #44

Sign in to view logs

github-workflow: add a timeout for jobs

github-workflow: add a timeout for jobs #44

Triggered via push October 3, 2023 12:18
@GaetanLepageGaetanLepage
pushed 7eb1a85
main
Status Cancelled
Total duration 25s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build_documentation.yml

on: push
deploy
1s
deploy
Fit to window
Zoom out
Zoom in

Annotations

2 errors
deploy
Canceling since a higher priority waiting request for 'pages' exists
deploy
A task was canceled.