unisonweb/unison trunk-build
Development Build (trunk)

on GitHub

pre-releaseone hour ago

Commits

17b38e0: Merge remote-tracking branch 'origin/trunk' into ci/transcripts-before-push (Arya Irani) #6216
20cb35d: short-circuit formatting if proof exists (Arya Irani) #6216

Check out latest releases or
releases around unisonweb/unison trunk-build

Don't miss a new unison release

NewReleases is sending notifications on new releases.

Get notifications