Upgrade z3 version to 4.12.5 · UnitTestBot/ksmt@95ca3e6

Triggered via pull request January 29, 2024 22:33

Saloed

edited #148

z3-4.12.4

Status Success

Total duration 8m 42s

Artifacts 2

build-and-run-tests.yml

on: pull_request

Matrix: Run tests

4 warnings

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

No files were found with the provided path: ./**/build/reports/tests/test/. No artifacts will be uploaded.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Produced during runtime

Name	Size
ksmt-tests-report-ubuntu-20.04 Expired	638 KB
ksmt-tests-report-windows-latest Expired	658 KB