[DMS-22] motoko-san: loop invariants #6
Triggered via pull request
April 14, 2024 19:52
int-index
Status
Failure
Total duration
1h 13m 21s
Artifacts
–
test.yml
on: pull_request
Matrix: tests
Matrix: artifacts
reports
0s
Annotations
1 error and 2 warnings
|
tests (ubuntu-latest)
Process completed with exit code 1.
|
|
tests (ubuntu-latest)
No push credentials found. Ignoring the 'useDaemon' option.
|
|
tests (macos-latest)
No push credentials found. Ignoring the 'useDaemon' option.
|