Skip to content
CI

Remove trailing bot and top in disjunction and conjunction and review… #22

Sign in to view logs

Remove trailing bot and top in disjunction and conjunction and review…

Remove trailing bot and top in disjunction and conjunction and review… #22

Triggered via push February 26, 2024 16:19
@NotBad4UNotBad4U
pushed d36467c
lambdapi-translation
Status Failure
Total duration 3m 41s
Artifacts –

ci.yml

on: push
build
2m 54s
build
test
3m 28s
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/.