test: Replace difftest model with Quint=>MBT #690
Triggered via pull request
November 30, 2023 11:46
p-offtermatt
p-offtermatt
synchronize
#1369
Status
Success
Total duration
5m 46s
Artifacts
–