chore: rename fields of Subarray to follow Lean conventions #1915
Triggered via pull request
April 12, 2024 15:46
david-christiansen
david-christiansen
labeled
#3851
Status
Skipped
Total duration
2s
Artifacts
–