v0.21.0
What's Changed
- ci: run the Linux workflows on the self-hosted runners by @AminChirazi in #525
- ci: use free hosted runners for public workflows by @AminChirazi in #526
- ci: move workflows from self-hosted runners to GitHub-hosted runners by @HappyDevs1 in #530
- ci: remove Operator PR package workflow by @AminChirazi in #533
- feat(cli): flowproof config sap/fiori — plan 1, designed and built by @HappyDevs1 in #531
- docs: add plan 3 — agent skill for flowproof config by @HappyDevs1 in #535
- feat(cli,adapters): flowproof doctor --sap / --fiori by @HappyDevs1 in #532
- Support shareable single-flow values files by @HappyDevs1 in #537
- Plan Fiori field commit hardening by @HappyDevs1 in #538
- feat: add AI authoring config by @HappyDevs1 in #544
- docs: v1 compatibility, support and deprecation contract by @HappyDevs1 in #510
- test(examples): verify a purchasing info record via OData directly by @HappyDevs1 in #517
- docs: publish a security reporting policy and threat model by @HappyDevs1 in #506
- docs: sync product docs with flowproof config, doctor, and AI authoring by @HappyDevs1 in #546
Full Changelog: v0.20.0...v0.21.0