Skip to content
Continuous integration

added subcommand to track statistics of a z3 log file #406

Sign in to view logs

added subcommand to track statistics of a z3 log file

added subcommand to track statistics of a z3 log file #406

Triggered via pull request June 7, 2024 03:49
@kiranandcodekiranandcode
opened #53
kiranandcode:main
Status Failure
Total duration 6m 6s
Artifacts –

continuous_integration.yml

on: pull_request
Matrix: generate_log
format
14s
format
clippy
50s
clippy
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 5 warnings
format
Process completed with exit code 1.
clippy
Process completed with exit code 101.
test (4.8.7)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (4.12.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (4.12.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (4.11.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (4.8.17)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.