Skip to content
Rust

Add support for associated types in declarations #3082

Sign in to view logs

Add support for associated types in declarations

Add support for associated types in declarations #3082

Triggered via pull request November 9, 2023 15:26
@xldenisxldenis
synchronize #808
support-associated-types
Status Failure
Total duration 4m 31s
Artifacts –

rust.yml

on: pull_request
fmt
29s
fmt
contracts-build
35s
contracts-build
build
4m 20s
build
why3
2m 20s
why3
Fit to window
Zoom out
Zoom in

Annotations

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