-
Notifications
You must be signed in to change notification settings - Fork 1
Insights: runtimeverification/kup
Overview
-
0 Active pull requests
-
- 0 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 3 New issues
There hasn’t been any commit activity on runtimeverification/kup in the last week.
Want to help out?
3 Issues opened by 2 people
-
Update `kup list` to show nicer and shorter version strings again
#137 opened
Jul 31, 2025 -
Add more Nix versions to test CI workflow
#136 opened
Jul 31, 2025 -
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions
#135 opened
Jul 31, 2025