Skip to content
Test

TUTORIALS: Reorganise tutorials and add inline solutions #835

Sign in to view logs

TUTORIALS: Reorganise tutorials and add inline solutions

TUTORIALS: Reorganise tutorials and add inline solutions #835

Triggered via pull request July 29, 2024 03:22
@bbrcknlbbrcknl
synchronize #106
bbrcknl:update_tutorials
Status Failure
Total duration 4m 21s
Artifacts –

test.yml

on: pull_request
Freeze Code
18s
Freeze Code
Matrix: Tutorial Solution
Deploy manifest
0s
Deploy manifest
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Tutorial Solution (notifications)
Failed to download action 'https://api.github.com/repos/seL4/ci-actions/tarball/dfd143c1eb3dd5ac4c4445084aef0f82f2c9821e'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
Tutorial Solution (notifications)
Back off 28.736 seconds before retry.