Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Consolidate project data to one yaml file#418

Merged
valencik merged 2 commits into
developmenttypelevel/typelevel.github.com:developmentfrom
proj-ymltypelevel/typelevel.github.com:proj-ymlCopy head branch name to clipboard
Jan 26, 2023
Merged

Consolidate project data to one yaml file#418
valencik merged 2 commits into
developmenttypelevel/typelevel.github.com:developmentfrom
proj-ymltypelevel/typelevel.github.com:proj-ymlCopy head branch name to clipboard

Commits

Commits on Jan 25, 2023
Morty Proxy This is a proxified and sanitized view of the page, visit original site.