Skip to content

pubmetric integration and maintainability improvements

Latest
Compare
Choose a tag to compare
@vedran-kasalica vedran-kasalica released this 31 Oct 07:48
· 6 commits to main since this release
d8707c0

What's Changed

  • Implement call to pubmetric API for design-time benchmarking
  • Improve constraint formatting
  • Improved documentation
  • Updated GitHub actions
  • Fix clean-containers GitHub action

Full Changelog: v0.3.3...v0.4.0