Skip to content

VerCors 2.1.1

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 18 Apr 13:30
· 40 commits to dev since this release
v2.1.1
aef15a4

What's Changed

  • Resolved a rare concurrency bug in the rendering of progress messages in aef15a4
  • Restored SysCIR as a dependency in b13e385

Full Changelog: v2.1.0...v2.1.1

Assets 6