Skip to content
pr

fix deadlock for solvers with large output #20

Sign in to view logs

fix deadlock for solvers with large output

fix deadlock for solvers with large output #20

Triggered via pull request November 13, 2024 02:15
@0xkarmacoma0xkarmacoma
synchronize #10
fix-yices-deadlock
Status Cancelled
Total duration 34s
Artifacts –

pr.yml

on: pull_request
Matrix: test-python
Fit to window
Zoom out
Zoom in

Annotations

6 errors
test-python (3.11, ubuntu-latest)
Process completed with exit code 1.
test-python (3.11, macos-latest)
Process completed with exit code 1.
test-python (3.12, macos-latest)
Canceling since a higher priority waiting request for 'pr-10' exists
test-python (3.12, macos-latest)
Process completed with exit code 1.
test-python (3.12, ubuntu-latest)
Canceling since a higher priority waiting request for 'pr-10' exists
test-python (3.12, ubuntu-latest)
The operation was canceled.