mugen
mugen copied to clipboard
RedPRL
♾️ A library for universe levels and universe polymorphism
Results
3
mugen issues
Sort by
recently updated
recently updated
newest added
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5. Release notes Sourced from actions/checkout's releases. v5.0.0 What's Changed Update actions checkout to use node 24 by @salmanmkc in actions/checkout#2226 Prepare v5.0.0 release by...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
dependencies
github_actions