6 Commits

Author	SHA1	Message	Date
Arya Irani	3b31b95308	Merge pull request #3125 from unisonweb/travis/update-indices ... Update type and term indices after push and pull	2022-06-17 13:44:18 -04:00
Arya Irani	1d0ab1d4f3	Merge remote-tracking branch 'origin/trunk' into arya/ooo-sync ... # Conflicts: # hie.yaml # parser-typechecker/package.yaml # unison-hashing-v2/package.yaml # unison-hashing-v2/unison-hashing-v2.cabal	2022-06-16 15:06:42 -04:00
Travis Staton	535eaf98a9	Add unison-codebase-sqlite-hashing-v2 package ... unison-codebase-sqlite is now parameterized by the hashing functions	2022-06-16 14:29:11 -04:00
Travis Staton	3dcb952b3c	convert2	2022-06-16 14:22:41 -04:00
Travis Staton	65d735dc14	merge trunk	2022-06-13 10:54:37 -04:00
Mitchell Rosen	382816e7b4	extract unison-hashing-v2 package from unison-parser-typechecker	2022-06-09 23:42:07 -04:00