test: Replace difftest model with Quint=>MBT #64
Triggered via pull request
December 15, 2023 10:30
p-offtermatt
Status
Success
Total duration
10m 41s
Artifacts
–