Skip to content

saving proofs for sequent problems #2561

saving proofs for sequent problems

saving proofs for sequent problems #2561

Triggered via pull request July 7, 2024 12:41
Status Failure
Total duration 2m 11s
Artifacts

code_quality.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 errors
qodana
Path does not exist: /home/runner/work/_temp/qodana/results/qodana.sarif.json
qodana
qodana scan failed with exit code 1
formatting
Process completed with exit code 1.