Skip to content

Merge pull request #175 from BerkeleyLearnVerify/3DPruningImprovements #259

Merge pull request #175 from BerkeleyLearnVerify/3DPruningImprovements

Merge pull request #175 from BerkeleyLearnVerify/3DPruningImprovements #259

Triggered via push January 12, 2024 20:47
Status Failure
Total duration 11m 30s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

run-tests.yml

on: push
check-format  /  check
16s
check-format / check
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

9 errors
test (3.10, windows-latest, test-full)
Process completed with exit code 1.
test (3.11, windows-latest, test-full)
The job was canceled because "_3_10_windows-latest_te_2" failed.
test (3.11, windows-latest, test-full)
The operation was canceled.
test (3.9, windows-latest, test-full)
The job was canceled because "_3_10_windows-latest_te_2" failed.
test (3.9, windows-latest, test-full)
The operation was canceled.
test (3.12, windows-latest, test-full)
The job was canceled because "_3_10_windows-latest_te_2" failed.
test (3.12, windows-latest, test-full)
The operation was canceled.
test (3.12, ubuntu-latest, test-full)
The job was canceled because "_3_10_windows-latest_te_2" failed.
test (3.12, ubuntu-latest, test-full)
The operation was canceled.