test: Replace difftest model with Quint=>MBT #228
test.yml
on: pull_request
test-e2e
11m 36s
test-cometmock
3m 51s
test-trace
11m 31s
model-analysis
1m 2s
repo-analysis
48s
Annotations
10 errors and 1 warning
tests
Cannot open: File exists
|
tests
Cannot open: File exists
|
tests
Cannot open: File exists
|
tests
Cannot open: File exists
|
tests
Cannot open: File exists
|
tests
Cannot open: File exists
|
tests
Cannot open: File exists
|
tests
Cannot open: File exists
|
tests
Cannot open: File exists
|
tests
Cannot open: File exists
|
tests
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
381f16ce6b2c80ac40ddc1a3c277d277a019762c-coverage
Expired
|
9.19 MB |
|
381f16ce6b2c80ac40ddc1a3c277d277a019762c-integration-coverage
Expired
|
1.1 MB |
|
381f16ce6b2c80ac40ddc1a3c277d277a019762c-mbt-coverage
Expired
|
1.07 MB |
|
mbt-traces
Expired
|
155 MB |
|