github unisonweb/unison trunk-build
Development Build (trunk)

pre-release22 hours ago

Commits

  • 8ae87d4: Rename FFI callback builtins to avoid abbreviations (Olivier Mélois) #6321
  • 9750363: Record tests and transcripts proofs for the FFI rename (Olivier Mélois) #6321

Don't miss a new unison release

NewReleases is sending notifications on new releases.