Release 0.7.36 #4626
ci.yml
on: pull_request
Annotations
3 errors and 1 warning
Generate cache
Process completed with exit code 101.
|
Run tests under Kani
Process completed with exit code 1.
|
All checks succeeded
Process completed with exit code 1.
|
Generate cache
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@704facf57e6136b1bc63b828d79edcd491f0ee84. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|