Skip to content
Check the Agda files

Choices translations #49

Sign in to view logs

Choices translations

Choices translations #49

Triggered via pull request February 28, 2024 16:04
@pmbittnerpmbittner
synchronize #16
choices-translations
Status Failure
Total duration 2m 28s
Artifacts –

check.yml

on: pull_request
build
2m 15s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error, 1 warning, and 1 notice
build
Process completed with exit code 1.
build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build
The following files couldn't be checked because a dependency of them has errors: Test/Test/VariantList-Completeness.agda (depends on Test/Examples/Variants.agda:5,1-26,40\nFailed) Test/Examples/Variants.agda (depends on Test/Examples/Variants.agda:5,1-26,40\nFailed)