Skip to content
Build and Test

Clean up proof code using saturating numbers #538

Sign in to view logs

Clean up proof code using saturating numbers

Clean up proof code using saturating numbers #538

Triggered via pull request September 26, 2023 17:25
@oflattoflatt
opened #274
oflatt-another-overflow
Status Failure
Total duration 4m 9s
Artifacts –

build.yml

on: pull_request
test
3m 58s
test
nits
3m 40s
nits
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
nits
Process completed with exit code 2.
test
Process completed with exit code 2.
nits
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/