Skip to content
DevContainer CI

Add Formal Verification Flow Using Yosys's riscv-formal #32

Sign in to view logs

Add Formal Verification Flow Using Yosys's riscv-formal

Add Formal Verification Flow Using Yosys's riscv-formal #32

Re-run triggered February 24, 2026 17:45
@5iri5iri
#16
5iri:func_verif
Status Failure
Total duration 22s
Artifacts –

ci.yml

on: pull_request
test
16s
test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
test
Command failed: docker buildx build --load --build-arg BUILDKIT_INLINE_CACHE=1 -f /tmp/devcontainercli-runner/container-features/0.83.3-1771955131547/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
test
Dev container build failed: Command failed: docker buildx build --load --build-arg BUILDKIT_INLINE_CACHE=1 -f /tmp/devcontainercli-runner/container-features/0.83.3-1771955131547/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.