Skip to content

Update build to latest prom infrastructure

Latest
Latest
Compare
Choose a tag to compare
@adamburkegh adamburkegh released this 22 Feb 07:06
· 3 commits to master since this release
v1.1.2
6e3a296
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Fixes build errors caused by upstream changes to ProM's ivy infrastructure

  • New ivysettings
  • documentation improvements
Assets 2