Skip to content
CI

CI #659

Sign in to view logs

CI

CI #659

Triggered via schedule November 6, 2024 00:51
@omelkonianomelkonian
⁠ 7a6221a
master
Status Success
Total duration 7m 12s
Artifacts –

ci.yml

on: schedule
build-deploy
7m 4s
build-deploy
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
build-deploy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/[email protected], omelkonian/setup-agda@master. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build-deploy
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/[email protected], omelkonian/setup-agda@master. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build-deploy
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-deploy
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-deploy
Failed to download action 'https://api.github.com/repos/omelkonian/setup-agda/tarball/f95c97070663755af0a1296e4dcfc1e0de7b3c9c'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
build-deploy
Back off 22.809 seconds before retry.