Closed valencik closed 1 year ago
Builds on https://github.com/typelevel/typelevel.github.com/pull/445 No user facing changes.
Reduces some duplication by having a single project card include and leveraging that everywhere. Additionally, reduces some indirection and inlines the project membership and platforms in that project card include.
Builds on https://github.com/typelevel/typelevel.github.com/pull/445 No user facing changes.
Reduces some duplication by having a single project card include and leveraging that everywhere. Additionally, reduces some indirection and inlines the project membership and platforms in that project card include.