Skip to content

feat(scripts): @[expose] removal-candidate report pipeline (draft)#217

Draft
kim-em wants to merge 27 commits into
leanprover-community:nightly-testingfrom
kim-em:no_expose
Draft

feat(scripts): @[expose] removal-candidate report pipeline (draft)#217
kim-em wants to merge 27 commits into
leanprover-community:nightly-testingfrom
kim-em:no_expose

fix(scripts): section-strategy edit handles existing attribute blocks

606770e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Job log options

This job was skipped