Skip to content
Back to pull request #15606

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

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

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

run-gas-calibration.yaml

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