Skip to content
release

motoko-san: add locations of pre/post conditions to the source mapper #41

Sign in to view logs

motoko-san: add locations of pre/post conditions to the source mapper

motoko-san: add locations of pre/post conditions to the source mapper #41

Triggered via push July 2, 2024 13:03
@DK318DK318
pushed 7f5bb81
master
Status Failure
Total duration 4m 3s
Artifacts –

release.yml

on: push
changelog
4s
changelog
Matrix: build
release
0s
release
Fit to window
Zoom out
Zoom in

Annotations

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