Skip to content
CI-Tests

Merge pull request #140 from nevillegrech/memory_modeling #196

Sign in to view logs

Merge pull request #140 from nevillegrech/memory_modeling

Merge pull request #140 from nevillegrech/memory_modeling #196

Triggered via push June 10, 2024 15:14
@sifislagsifislag
pushed 6df9348
master
Status Success
Total duration 36m 51s
Artifacts –

run-tests.yml

on: push
test_souffle23
34m 52s
test_souffle23
test_souffle24
36m 41s
test_souffle24
Mypy
17s
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/.