Skip to content

add classical logic #127

add classical logic

add classical logic #127

Triggered via pull request June 21, 2024 16:50
Status Failure
Total duration 5m 19s
Artifacts

main.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 4 warnings
build (lambdapi.2.3.0)
Process completed with exit code 2.
build (lambdapi.2.4.0)
Process completed with exit code 2.
build (lambdapi)
Process completed with exit code 2.
build (lambdapi.2.3.1)
Process completed with exit code 2.
build (lambdapi.2.3.0)
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 (lambdapi.2.4.0)
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 (lambdapi)
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 (lambdapi.2.3.1)
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/.