AbsInt Astrée

🐛 Bug fixes

  • Mask the Astree server password field (#33) @akulinchev
  • Escape CLI arguments and pass credentials via environment variables (#32) @akulinchev

Installation options

🚀 New features and improvements

👻 Maintenance


Installation options

💥 Breaking changes

🐛 Bug fixes

👻 Maintenance

  • Update version string, improve messages in configuration view. (#18) @jherter

✍ Other changes

📦 Dependency updates

  • Bump org.jenkins-ci.plugins:plugin from 4.86 to 4.87 (#13) @dependabot
  • Bump org.jenkins-ci.plugins:structs from 337.v1b_04ea_4df7c8 to 338.v848422169819 (#14) @dependabot

Installation options

🚀 New features and improvements

📝 Documentation updates

👻 Maintenance

✍ Other changes

📦 Dependency updates

  • Bump org.jenkins-ci.plugins:plugin from 3.50 to 4.86 (#7) @dependabot
  • Bump com.github.spotbugs:spotbugs-annotations from 4.0.0 to 4.8.6 (#8) @dependabot
  • Bump io.jenkins.plugins:warnings-ng from 8.1.0 to 11.4.0 (#9) @dependabot

Installation options
Installation options
Installation options
Installation options
Installation options
Installation options
Installation options
Installation options