Skip to content

test: Replace difftest model with Quint=>MBT #5042

test: Replace difftest model with Quint=>MBT

test: Replace difftest model with Quint=>MBT #5042

Triggered via pull request November 2, 2023 08:03
@p-offtermattp-offtermatt
synchronize #1369
ph/mbt
Status Failure
Total duration 23s
Artifacts

automated-tests.yml

on: pull_request
Automated_Tests
9s
Automated_Tests
E2E_Tests
11s
E2E_Tests
Cometmock_Tests
9s
Cometmock_Tests
Trace-Tests
10s
Trace-Tests
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Automated_Tests
Process completed with exit code 1.
Cometmock_Tests
Process completed with exit code 2.
E2E_Tests
Process completed with exit code 2.
Trace-Tests
Process completed with exit code 2.