Skip to content
Gas Calibration

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

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 #51415

Triggered via pull request December 15, 2024 08:04
@wrwgwrwg
opened #15606
wrwg/type_info
Status Skipped
Total duration 3s
Artifacts –

run-gas-calibration.yaml

on: pull_request
run-gas-calibration
0s
run-gas-calibration
Fit to window
Zoom out
Zoom in