Skip to content

Solidity verifiers

Solidity verifiers #72

Triggered via pull request September 28, 2023 14:09
Status Success
Total duration 4m 28s
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