test: Replace difftest model with Quint=>MBT #139
p-offtermatttest.yml
on: pull_request
test-e2e
11m 45s
test-cometmock
4m 2s
test-trace
11m 52s
model-analysis
1m 5s
repo-analysis
50s
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 | |
|---|---|---|
|
d30015bfe7302da3ff5d305352dcd4aa7acfa7b6-coverage
Expired
|
9.19 MB |
|
|
d30015bfe7302da3ff5d305352dcd4aa7acfa7b6-integration-coverage
Expired
|
1.1 MB |
|
|
d30015bfe7302da3ff5d305352dcd4aa7acfa7b6-mbt-coverage
Expired
|
1.07 MB |
|
|
mbt-traces
Expired
|
138 MB |
|