Skip to content
build

[DMS-23] Support forall and exists #88

Sign in to view logs

[DMS-23] Support forall and exists

[DMS-23] Support forall and exists #88

Triggered via pull request June 4, 2024 18:38
@DK318DK318
synchronize #25
motoko-san/support-forall-and-exists
Status Failure
Total duration 29m 55s
Artifacts –

test.yml

on: pull_request
Matrix: tests
Matrix: artifacts
reports
0s
reports
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
tests (macos-latest)
Process completed with exit code 1.
tests (ubuntu-latest)
Process completed with exit code 1.
tests (macos-latest)
No push credentials found. Ignoring the 'useDaemon' option.
tests (ubuntu-latest)
No push credentials found. Ignoring the 'useDaemon' option.