test: Replace difftest model with Quint=>MBT #34
Triggered via pull request
December 11, 2023 13:00
p-offtermatt
Status
Success
Total duration
14m 31s
Artifacts
–