Skip to content

Merge branch 'master' of github.com:nevillegrech/gigahorse-toolchain #202

Merge branch 'master' of github.com:nevillegrech/gigahorse-toolchain

Merge branch 'master' of github.com:nevillegrech/gigahorse-toolchain #202

Triggered via push June 27, 2024 12:16
Status Success
Total duration 40m 45s
Artifacts

run-tests.yml

on: push
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/.