Skip to content
Automated Tests

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

Sign in to view logs

test: Replace difftest model with Quint=>MBT

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

Triggered via pull request November 1, 2023 08:29
@p-offtermattp-offtermatt
synchronize #1369
ph/mbt
Status Failure
Total duration 19s
Artifacts –

automated-tests.yml

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

Annotations

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