v1.4.0

Breaking Change

This version introduces an update to the Oberon API that makes the proofs incompatible with the ones used in 1.3.0 and earlier versions.

What's Changed

• test python, golang, dotnet, ruby linting by @fundthmcalculus in #366
• Rubocop warnings: missing doc comments, lines too long, class instance var, code formatting by @fundthmcalculus in #368
• Okapi 357 sha256 and blake3 for node/web by @fundthmcalculus in #365
• Okapi 349 ESLint by @fundthmcalculus in #367
• generate rbs proto files as well using a go plugin, lol by @fundthmcalculus in #370
• Fix a replay vulnerability in oberon by @tmarkovski in #333

Full Changelog: v1.3.0...v1.4.0