Skip to content
Backport

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

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

Triggered via pull request November 22, 2024 18:56
@kmillkmill
labeled #6174
Status Skipped
Total duration 3s
Artifacts –

backport.yml

on: pull_request_target
Backport
0s
Backport
Fit to window
Zoom out
Zoom in