Skip to content
execution-performance

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

Sign in to view logs

[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 #43770

Triggered via pull request December 16, 2024 03:13
@wrwgwrwg
auto_merge_enabled #15606
wrwg/type_info
Status Success
Total duration 29m 12s
Artifacts –

execution-performance.yaml

on: pull_request
execution-performance  /  test-target-determinator
4m 17s
execution-performance / test-target-determinator
execution-performance  /  single-node-performance
22m 7s
execution-performance / single-node-performance
Fit to window
Zoom out
Zoom in

Annotations

1 warning
execution-performance / test-target-determinator
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636