Skip to content
Rust

Attempts to avoid Why3's polymorphism encoding #3074

Sign in to view logs

Attempts to avoid Why3's polymorphism encoding

Attempts to avoid Why3's polymorphism encoding #3074

Triggered via pull request October 28, 2023 19:18
@dewert99dewert99
opened #903
dewert99:monomorphize
Status Failure
Total duration 6m 13s
Artifacts –

rust.yml

on: pull_request
fmt
36s
fmt
contracts-build
42s
contracts-build
build
3m 17s
build
why3
6m 4s
why3
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 4 warnings
fmt
Process completed with exit code 1.
build
Process completed with exit code 101.
why3
Process completed with exit code 1.
fmt
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/
contracts-build
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/
build
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/
why3
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/