Skip to content
CI

Modify rewrite simplify rule #21

Sign in to view logs

Modify rewrite simplify rule

Modify rewrite simplify rule #21

Triggered via push February 23, 2024 09:56
@NotBad4UNotBad4U
pushed 96640c0
lambdapi-translation
Status Failure
Total duration 3m 19s
Artifacts –

ci.yml

on: push
build
2m 48s
build
test
3m 9s
test
format
13s
format
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/.