Skip to content

v0.0.1

Pre-release
Pre-release

Choose a tag to compare

@FWBlueWizard FWBlueWizard released this 24 Jan 19:29
· 17 commits to master since this release
5c1bef0

What's Changed

  • Test PR workflows by @F-WRunTime in #1

New Contributors

  • @F-WRunTime made their first contribution in #1

Full Changelog: https://github.com/runtimeverification/automerge/commits/v0.0.1