CI-Tests

Merge pull request #127 from nevillegrech/feat/tac_gen_cli_arg #163

Sign in to view logs

Triggered via push March 1, 2024 12:42

sifislag

master

Status Success

Total duration 32m 26s

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

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.