Windows CLI Build

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

Sign in to view logs

Triggered via pull request December 16, 2024 03:13

wrwg

auto_merge_enabled #15606

wrwg/type_info

Status Skipped

Total duration 3s

Artifacts –

windows-build.yaml

on: pull_request