Skip to content
CI-Tests

Increase completeness of global analysis by modeling of constant operations relying on the global analysis #190

Sign in to view logs

Increase completeness of global analysis by modeling of constant operations relying on the global analysis

Increase completeness of global analysis by modeling of constant operations relying on the global analysis #190

Triggered via pull request May 16, 2024 12:28
@sifislagsifislag
opened #136
global_completeness
Status Success
Total duration 35m 49s
Artifacts –

run-tests.yml

on: pull_request
test_souffle23
35m 37s
test_souffle23
test_souffle24
35m 27s
test_souffle24
Mypy
12s
Mypy
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
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_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/.
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/.