Skip to content
Check for copyright header

fix: instantiate mvars in types of mvars in abstractMVars #18307

Sign in to view logs

fix: instantiate mvars in types of mvars in abstractMVars

fix: instantiate mvars in types of mvars in abstractMVars #18307

Triggered via pull request September 29, 2025 11:49
@kmillkmill
opened #10612
kmill:kmill_fix_abstractMVars_1
Status Success
Total duration 37s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
34s
check-lean-files
Fit to window
Zoom out
Zoom in