small optimization #159

Sign in to view logs

Triggered via push February 14, 2024 10:22

yanniss

master

Status Success

Total duration 31m 59s

Artifacts –

run-tests.yml

on: push

Annotations

3 warnings and 2 notices

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/.

48 tests found

There are 48 tests, see "Raw output" for the full list of tests.

48 tests found

There are 48 tests, see "Raw output" for the full list of tests.