test: Replace difftest model with Quint=>MBT #27
Triggered via pull request
December 11, 2023 12:07
p-offtermatt
Status
Success
Total duration
10m 47s
Artifacts
–