Skip to content

Solidity verifiers

Solidity verifiers #65

Triggered via pull request September 25, 2023 16:15
Status Success
Total duration 7m 38s
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