Skip to content
Automated Tests

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

Sign in to view logs

test: Replace difftest model with Quint=>MBT

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

Triggered via pull request November 6, 2023 08:42
@p-offtermattp-offtermatt
synchronize #1369
ph/mbt
Status Failure
Total duration 3m 0s
Artifacts –

automated-tests.yml

on: pull_request
Automated_Tests
8s
Automated_Tests
E2E_Tests
9s
E2E_Tests
Cometmock_Tests
5s
Cometmock_Tests
Trace-Tests
5s
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.