Skip to content

Solidity verifiers

Solidity verifiers #68

Triggered via pull request September 26, 2023 10:52
Status Success
Total duration 8m 35s
Artifacts

tests.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build-and-test
Unexpected input(s) 'override', valid inputs are ['toolchain', 'targets', 'target', 'components']
build-and-test
The process '/usr/bin/git' failed with exit code 128