Skip to content

Improve integer decompositions #263

Improve integer decompositions

Improve integer decompositions #263

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

rust.yml

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

Annotations

6 errors and 3 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.
test-coverage
Process completed with exit code 1.
clippy
Process completed with exit code 101.
test-coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
clippy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
clippy
Cache does not exist using key setup-rustcargo-v1-linux-f63ad6c5b15d745c5f5ecf80e1e8a79d74dfde74