Skip to content
Bug Fix Unittests

experiments: use zero init and yices for FPGA #672

Sign in to view logs

experiments: use zero init and yices for FPGA

experiments: use zero init and yices for FPGA #672

Triggered via push January 17, 2024 18:01
@ekiwiekiwi
pushed 1a7575e
main
Status Success
Total duration 8m 18s
Artifacts –

unittests.yml

on: push
test-scala
2m 42s
test-scala
test-python
8m 1s
test-python
Common Benchmark Tests
25s
Common Benchmark Tests
Check Repairs Tests
45s
Check Repairs Tests
Test CirFix Quick Repairs
1m 40s
Test CirFix Quick Repairs
Matrix: test-rust
Fit to window
Zoom out
Zoom in