Backport to Release Branches

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

Sign in to view logs

Triggered via pull request December 16, 2024 03:43

wrwg

closed #15606

Status Skipped

Total duration 3s

Artifacts –

backport-to-release-branches.yaml

on: pull_request_target

permission-check