v6.0.2

christopher-wild released this 10 Apr 09:29

· 162 commits to main since this release

f207ea4

What's Changed

Fix: Small changes to the automate-dafni workflow by @f-allian in #272
Added in the control data by @jmafoster1 in #273
Updated workflow schematic by @jmafoster1 in #275
Fix Schematic Images by @f-allian in #278

Full Changelog: v6.0.1...v6.0.2

Contributors

jmafoster1 and f-allian

Assets 2