Hello, Sponsored, thanks for your work on this!
I noticed the same thing as Phil, concerning the embedded build path. But you seem to have investigated it...
Best, -- Pierre
OpenPGP_signature.asc
Description: OpenPGP digital signature
- Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker fo... Matthew Fernandez
- Re: Bug#1071427: RFS: rumur/2024.05.07-1 -- model c... Matthew Fernandez
- Bug#1071427: RFS: rumur/2024.05.07-1 -- model check... Phil Wyett
- Bug#1071427: RFS: rumur/2024.05.07-1 -- model check... Phil Wyett
- Bug#1071427: Sponsored Pierre Gruet
- Bug#1071427: closing 1071427 Pierre Gruet
