Skip to content
test

Add preliminary support for First-Order Logic #220

Sign in to view logs

Add preliminary support for First-Order Logic

Add preliminary support for First-Order Logic #220

Triggered via pull request January 7, 2024 23:10
@marcofavoritomarcofavorito
opened #140
fol
Status Success
Total duration 4m 26s
Artifacts –

test.yml

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

Annotations

4 warnings
run (ubuntu-latest, 3.9)
The following actions uses node12 which is deprecated and will be forced to run on node16: codecov/codecov-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
run (ubuntu-latest, 3.8)
The following actions uses node12 which is deprecated and will be forced to run on node16: codecov/codecov-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
run (ubuntu-latest, 3.11)
The following actions uses node12 which is deprecated and will be forced to run on node16: codecov/codecov-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
run (ubuntu-latest, 3.10)
The following actions uses node12 which is deprecated and will be forced to run on node16: codecov/codecov-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/