This repository has been archived by the owner on Oct 3, 2024. It is now read-only.
Add Apache 2.0 License #5
github-merge-queue[bot]docs.yml
on: push
Deploy odoc to GitHub Pages
6m 28s
Annotations
2 errors and 4 warnings
|
Deploy odoc to GitHub Pages
Canceling since a higher priority waiting request for 'deploy-odoc' exists
|
|
Deploy odoc to GitHub Pages
The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
Deploy odoc to GitHub Pages
Failed to download action 'https://api.github.com/repos/actions/upload-pages-artifact/tarball/56afc609e74202658d3ffba0e8f6dda462b719fa'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
Deploy odoc to GitHub Pages
Back off 24.749 seconds before retry.
|
|
Deploy odoc to GitHub Pages
Failed to download action 'https://api.github.com/repos/actions/upload-pages-artifact/tarball/56afc609e74202658d3ffba0e8f6dda462b719fa'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
Deploy odoc to GitHub Pages
Back off 22.314 seconds before retry.
|