Add Formal Verification Flow Using Yosys's riscv-formal #16
Annotations
2 errors
|
Run tests in DevContainer
Command failed: docker buildx build --load --build-arg BUILDKIT_INLINE_CACHE=1 -f /tmp/devcontainercli-runner/container-features/0.83.0-1770806968815/Dockerfile-with-features -t undefined:latest --target dev_containers_target_stage --build-arg _DEV_CONTAINERS_BASE_IMAGE=dev_container_auto_added_stage_label /home/runner/work/synapse32/synapse32/.devcontainer
|
|
Run tests in DevContainer
Dev container build failed: Command failed: docker buildx build --load --build-arg BUILDKIT_INLINE_CACHE=1 -f /tmp/devcontainercli-runner/container-features/0.83.0-1770806968815/Dockerfile-with-features -t undefined:latest --target dev_containers_target_stage --build-arg _DEV_CONTAINERS_BASE_IMAGE=dev_container_auto_added_stage_label /home/runner/work/synapse32/synapse32/.devcontainer (exit code: undefined)
An error occurred building the image.
|
Loading