Fix a shadowed lemma name #188
mn200
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
docker-ci.yml
on: push
build-stdknl
2m 43s
build-expk
2m 42s
Annotations
2 errors and 8 warnings
|
build-stdknl
Response status code does not indicate success: 503 (Service Unavailable).
|
|
build-expk
Response status code does not indicate success: 503 (Service Unavailable).
|
|
build-stdknl
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/f43a0e5ff2bd294095638e18286ca9a3d1956744'. Error: Response status code does not indicate success: 503 (Service Unavailable).
|
|
build-stdknl
Back off 21.717 seconds before retry.
|
|
build-stdknl
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/f43a0e5ff2bd294095638e18286ca9a3d1956744'. Error: Response status code does not indicate success: 503 (Service Unavailable).
|
|
build-stdknl
Back off 19.396 seconds before retry.
|
|
build-expk
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/f43a0e5ff2bd294095638e18286ca9a3d1956744'. Error: Response status code does not indicate success: 503 (Service Unavailable).
|
|
build-expk
Back off 24.514 seconds before retry.
|
|
build-expk
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/f43a0e5ff2bd294095638e18286ca9a3d1956744'. Error: Response status code does not indicate success: 503 (Service Unavailable).
|
|
build-expk
Back off 13.813 seconds before retry.
|