Skip to content

Improve integer decompositions #264

Improve integer decompositions

Improve integer decompositions #264

Triggered via pull request January 13, 2025 16:41
Status Failure
Total duration 1m 41s
Artifacts

rust.yml

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

Annotations

6 errors and 2 warnings
test (windows-latest)
invalid path 'crates/pindakaas/corpus/integer/con/enc_rec_bdd_style_view.cnf'
test (windows-latest)
The process 'C:\Program Files\Git\bin\git.exe' failed with exit code 128
test (macos-latest)
The job was canceled because "windows-latest" failed.
test (macos-latest)
The operation was canceled.
clippy
Process completed with exit code 101.
test-coverage
Process completed with exit code 1.
clippy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test-coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636