Skip to content
Automated Tests

Replace difftests with model-based testing using Quint #5026

Sign in to view logs

Replace difftests with model-based testing using Quint

Replace difftests with model-based testing using Quint #5026

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

automated-tests.yml

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

Annotations

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