Skip to content
CI-Tests

Merge pull request #136 from nevillegrech/global_completeness #191

Sign in to view logs

Merge pull request #136 from nevillegrech/global_completeness

Merge pull request #136 from nevillegrech/global_completeness #191

Triggered via push May 16, 2024 13:12
@sifislagsifislag
pushed a3b0290
master
Status Success
Total duration 36m 1s
Artifacts –

run-tests.yml

on: push
test_souffle23
35m 21s
test_souffle23
test_souffle24
35m 49s
test_souffle24
Mypy
19s
Mypy
Fit to window
Zoom out
Zoom in

Annotations

3 warnings and 2 notices
55 tests found
There are 55 tests, see "Raw output" for the full list of tests.
55 tests found
There are 55 tests, see "Raw output" for the full list of tests.
Mypy
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test_souffle23
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test_souffle24
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.