Skip to content

Use JSON output from verapdf #2416

Use JSON output from verapdf

Use JSON output from verapdf #2416

Triggered via pull request July 26, 2023 18:49
Status Failure
Total duration 3m 52s
Artifacts
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

19 errors
test (3.10, ubuntu-latest)
Process completed with exit code 1.
test (3.10, windows-latest)
The job was canceled because "_3_10_ubuntu-latest" failed.
test (3.10, windows-latest)
The operation was canceled.
test (3.7, windows-latest)
The job was canceled because "_3_10_ubuntu-latest" failed.
test (3.7, windows-latest)
The operation was canceled.
test (3.9, windows-latest)
The job was canceled because "_3_10_ubuntu-latest" failed.
test (3.9, windows-latest)
The operation was canceled.
test (3.8, windows-latest)
The job was canceled because "_3_10_ubuntu-latest" failed.
test (3.8, windows-latest)
The operation was canceled.
test (3.11, windows-latest)
The job was canceled because "_3_10_ubuntu-latest" failed.
test (3.11, windows-latest)
The operation was canceled.
test (3.9, ubuntu-latest)
The job was canceled because "_3_10_ubuntu-latest" failed.
test (3.9, ubuntu-latest)
The operation was canceled.
test (3.7, ubuntu-latest)
The job was canceled because "_3_10_ubuntu-latest" failed.
test (3.7, ubuntu-latest)
The operation was canceled.
test (3.11, ubuntu-latest)
The job was canceled because "_3_10_ubuntu-latest" failed.
test (3.11, ubuntu-latest)
The operation was canceled.
test (3.8, ubuntu-latest)
The job was canceled because "_3_10_ubuntu-latest" failed.
test (3.8, ubuntu-latest)
The operation was canceled.