Skip to content

Add Lambdapi translation module #25

Add Lambdapi translation module

Add Lambdapi translation module #25

Triggered via push April 21, 2024 08:47
Status Failure
Total duration 2m 0s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
format
Process completed with exit code 1.
build
Process completed with exit code 101.
test
Process completed with exit code 101.
format
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.