Skip to content
Automated Tests

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

Sign in to view logs

test: Replace difftest model with Quint=>MBT

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

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

automated-tests.yml

on: pull_request
Automated_Tests
5s
Automated_Tests
E2E_Tests
6s
E2E_Tests
Cometmock_Tests
7s
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.