Skip to content

[move-prover] Fix a bug in treatment of type reflection in spec funs #72212

[move-prover] Fix a bug in treatment of type reflection in spec funs

[move-prover] Fix a bug in treatment of type reflection in spec funs #72212

Triggered via pull request December 15, 2024 17:19
@wrwgwrwg
synchronize #15606
wrwg/type_info
Status Success
Total duration 21m 35s
Artifacts

lint-test.yaml

on: pull_request
file_change_determinator
13s
file_change_determinator
rust-doc-tests
0s
rust-doc-tests
rust-unit-tests
0s
rust-unit-tests
rust-consensus-only-unit-test
0s
rust-consensus-only-unit-test
rust-consensus-only-smoke-test
0s
rust-consensus-only-smoke-test
general-lints
28s
general-lints
rust-cryptohasher-domain-separation-check
0s
rust-cryptohasher-domain-separation-check
rust-lints
3m 32s
rust-lints
rust-cargo-deny
1m 44s
rust-cargo-deny
rust-smoke-tests
0s
rust-smoke-tests
rust-check-merge-base
1m 25s
rust-check-merge-base
rust-targeted-unit-tests
20m 36s
rust-targeted-unit-tests
rust-build-cached-packages
0s
rust-build-cached-packages
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
file_change_determinator
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
general-lints
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
rust-cargo-deny
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
rust-lints
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/