Skip to content

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

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

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

Triggered via push July 1, 2024 19:14
Status Failure
Total duration 12s
Artifacts

update-hash.yml

on: push
update-hash
3s
update-hash
Fit to window
Zoom out
Zoom in

Annotations

1 error
update-hash
Input required and not supplied: token