Skip to content
Check PR body for changelog convention

chore: refactor Elab.StructInst to use mutual for its structures/inductives #915

Sign in to view logs

chore: refactor Elab.StructInst to use mutual for its structures/inductives

chore: refactor Elab.StructInst to use mutual for its structures/inductives #915

Triggered via pull request November 22, 2024 18:56
@kmillkmill
opened #6174
kmill:structinst_mutual
Status Success
Total duration 13s
Artifacts –

pr-body.yml

on: pull_request
check-pr-body
4s
check-pr-body
Fit to window
Zoom out
Zoom in