Skip to content
Dafny Core verification

Rename module Math->MathLib, name conflicts with Java/C# Math class #809

Sign in to view logs

Rename module Math->MathLib, name conflicts with Java/C# Math class

Rename module Math->MathLib, name conflicts with Java/C# Math class #809

Re-run triggered October 11, 2023 22:46
@robin-awsrobin-aws
#146
markrtuttle:rename-math-module
Status Success
Total duration 20m 52s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

tests.yml

on: pull_request
Matrix: verification
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
verification (4.1.0) / reusable_verification (ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verification (3.13.1) / reusable_verification (ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verification (4.2.0) / reusable_verification (ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verification (4.0.0) / reusable_verification (ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
verification-results Expired
34 MB