Skip to content
PR

builds.py: let mq lock be reclaimed after 30min #872

Sign in to view logs

builds.py: let mq lock be reclaimed after 30min

builds.py: let mq lock be reclaimed after 30min #872

Triggered via pull request February 29, 2024 11:48
@lsf37lsf37
synchronize #337
lock-timeout
Status Success
Total duration 2m 27s
Artifacts –

pr.yml

on: pull_request
Gitlint
17s
Gitlint
Trailing Whitespace
2m 17s
Trailing Whitespace
Portable Shell
11s
Portable Shell
Style
24s
Style
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Trailing Whitespace
Failed to download action 'https://api.github.com/repos/seL4/ci-actions/tarball/750696daf350c98d2550be6bbad98c3896be4e91'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
Trailing Whitespace
Back off 26.525 seconds before retry.