test: Replace difftest model with Quint=>MBT #31
Triggered via pull request
December 11, 2023 12:25
Status
Success
Total duration
10m 50s
Artifacts
–