Skip to content

Solidity verifiers

Solidity verifiers #69

Triggered via pull request September 27, 2023 09:34
Status Success
Total duration 8m 29s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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