Skip to content

/ unison Public

New pull request New
20 Open 1,024 Closed
20 Open 1,024 Closed
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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Improve performance of Relation.difference, Relation3.difference
#2470 opened Oct 6, 2021 by mitchellwrosen • Draft
Improve error message on ambiguous types and values
#2469 opened Oct 6, 2021 by ChrisPenner • Approved
1 task done
1
11
Add TermSummary endpoint
#2434 opened Sep 23, 2021 by hojberg • Review required
10
WIP remove cycle length
#2374 opened Sep 1, 2021 by aryairani • Draft
1 of 2 tasks
8
revamp pr process
#2247 opened Jul 17, 2021 by aryairani • Review required
4 tasks
1
6
Simple install scripts
#2048 opened Jun 1, 2021 by pchiusano • Draft
3
Cache the latest root branch in UCM Server
#2023 opened May 26, 2021 by runarorama • Draft
1
Change inputStringFromInput to return correct string when remote is ahead of local
#2014 opened May 26, 2021 by rashadg1030 • Draft
16
add pragma optimize on database close
#2012 opened May 25, 2021 by aryairani • Review required
1
separate push and push.create commands
#1998 opened May 21, 2021 by aryairani • Draft
5 tasks
2
Rewrite Bytes in terms of new Rope type
#1899 opened Apr 30, 2021 by pchiusano • Draft
Fix delete.term-replacement to only check requested type/term exists
#1810 opened Feb 12, 2021 by scott-christopher • Approved
1
5
Improve parser error messages when a pattern matching is not expected
#1718 opened Oct 8, 2020 by kutyel • Review required
1
Add windows to CI
#1614 opened Jun 12, 2020 by sharno • Review required
2
Added tracing facility to the runtime
#1608 opened Jun 8, 2020 by runarorama • Draft
help topics is handled as input
#1435 opened Apr 16, 2020 by pete-ts • Review required
1
2
Define unison-syntax package
#1079 opened Dec 17, 2019 by mitchellwrosen • Draft
1
Add unison-core-test, unison-parser-typechecker-test packages
postponed
#1045 opened Dec 9, 2019 by mitchellwrosen • Review required
4
Add flush and make mode unique
#997 opened Nov 25, 2019 by runarorama • Review required
4
Remove Var.typeOf
#926 opened Nov 2, 2019 by TomasMikula • Draft
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.