build

[DMS-22] motoko-san: loop invariants #7

Sign in to view logs

Triggered via pull request April 15, 2024 17:01

int-index

synchronize #3

motoko-san/loop-invariant

Status Failure

Total duration 1h 11m 54s

Artifacts –

test.yml

on: pull_request

Matrix: tests

Matrix: artifacts

Annotations

2 warnings

tests (ubuntu-latest)

No push credentials found. Ignoring the 'useDaemon' option.

tests (macos-latest)

No push credentials found. Ignoring the 'useDaemon' option.