test: Replace difftest model with Quint=>MBT #142
p-offtermatttest.yml
on: pull_request
test-e2e
11m 32s
test-cometmock
3m 59s
test-trace
11m 47s
model-analysis
1m 0s
repo-analysis
37s
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 | |
|---|---|---|
|
417d12f50e3bcad9b62f99060538503d99c10feb-coverage
Expired
|
9.19 MB |
|
|
417d12f50e3bcad9b62f99060538503d99c10feb-integration-coverage
Expired
|
1.1 MB |
|
|
417d12f50e3bcad9b62f99060538503d99c10feb-mbt-coverage
Expired
|
1.07 MB |
|
|
mbt-traces
Expired
|
64.7 MB |
|