Skip to content

Solidity verifiers (#14) #73

Solidity verifiers (#14)

Solidity verifiers (#14) #73

Triggered via push September 28, 2023 14:14
Status Success
Total duration 4m 42s
Artifacts

tests.yml

on: push
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