Skip to content
Check code format

sv-comp tool info module for new tool Proton #26

Sign in to view logs

sv-comp tool info module for new tool Proton

sv-comp tool info module for new tool Proton #26

Triggered via pull request November 2, 2023 07:30
@rmettarmetta
opened #949
rmetta:main
Status Failure
Total duration 23s
Artifacts –

black.yml

on: pull_request
check
12s
check
Fit to window
Zoom out
Zoom in

Annotations

1 error
check
Process completed with exit code 1.