Handle validation tasks inside CPAchecker #660

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via pull request September 18, 2024 10:47

synchronize #1078

cpachecker-validator-witness-task-definitions

Status Success

Total duration 19s

Artifacts –

ruff.yml

on: pull_request