Skip to content
Check code format

Handle validation tasks inside CPAchecker #658

Sign in to view logs

Handle validation tasks inside CPAchecker

Handle validation tasks inside CPAchecker #658

Triggered via pull request September 18, 2024 09:13
@marian-lingschmarian-lingsch
synchronize #1078
cpachecker-validator-witness-task-definitions
Status Failure
Total duration 25s
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.