Skip to content
Automated Tests

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

Sign in to view logs

test: Replace difftest model with Quint=>MBT

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

Triggered via pull request October 19, 2023 08:12
@p-offtermattp-offtermatt
opened #1369
ph/mbt
Status Failure
Total duration 24s
Artifacts –

automated-tests.yml

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

Annotations

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