AbsInt Astrée
🐛 Bug fixes
- Mask the Astree server password field (#33) @akulinchev
- Escape CLI arguments and pass credentials via environment variables (#32) @akulinchev
🚀 New features and improvements
👻 Maintenance
💥 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
🚀 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