Skip to content
Check formatting

Lean: Implement type abbreviations and introduce kid->id renaming #1618

Sign in to view logs

Lean: Implement type abbreviations and introduce kid->id renaming

Lean: Implement type abbreviations and introduce kid->id renaming #1618

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (5.0.0, ubuntu-latest, 0.26.0)
23s
23s