Skip to content

Issues: unisonweb/unison

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort

Issues list

add lib install command
#4945 opened May 14, 2024 by aryairani ucm 0.5.21
Nix flake is invalid
#4940 opened May 14, 2024 by sellout
more helpful error message for errors that occur when typechecking record field accessors records stuff that's wrong with our current implementation of records
#4934 opened May 12, 2024 by aryairani
fix up udp tests
#4933 opened May 11, 2024 by aryairani
redesign add/update/commit
#4908 opened Apr 30, 2024 by aryairani
structured numbered args megaticket
#4899 opened Apr 25, 2024 by aryairani
6 tasks
delete.term with numbered arg fails and with a cryptic message codebase-manager / ucm Issues related to the codebase editor CLI application (ucm)
#4898 opened Apr 25, 2024 by ceedubs
remove update.old
#4882 opened Apr 14, 2024 by aryairani
ProTip! Updated in the last three days: updated:>2024-05-13.