Skip to content

v0.6.3
Compare
Choose a tag to compare
@github-actions github-actions released this 27 Sep 16:26
· 3 commits to refs/heads/main since this release
v0.6.3
590021d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Changes

  • [codegen] Don't provide two defaults @lhchavez (#90)
  • [p_unification] I, for one, welcome our new nix overlords @lhchavez (#91)

Contributors

lhchavez
Assets 2
Loading