Solver problem size: a test the Bazel build runs

cf65037

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

coverage on: pull_request 1

build

bazel on: pull_request 1

build-and-test

mcp on: pull_request 4

test (3.10)

test (3.14)

cva6pdr on: pull_request 1

cva6-pdr

consumer-smoke on: pull_request 1

build-as-dependency

cva6imc on: pull_request 1

cva6-imc

regress-python on: pull_request 1

Local NajaEDA and Kepler Python regression

asan-build on: pull_request 2

build

REUSE Compliance Check on: pull_request 1

test

asan-build-macos on: pull_request 3

build

regress-sec on: pull_request 3

build SEC runtime

${{ matrix.flow.name }} / ${{ matrix.case.name }}

sv2v ${{ matrix.flow.name }} / ${{ matrix.case.name }}

sv2v negative ${{ matrix.flow.name }} / ${{ matrix.case.name }}

SEC regression summary

nix on: pull_request 1

x86_64-linux

aarch64-darwin

test-prebuilt-install

cva6ki on: pull_request 1

cva6-ki

regress-lec on: pull_request 2

build

Python wheels on: pull_request 9

Generate portable Verilog parser sources

development / manylinux_2_28 / x86_64

development / manylinux_2_28 / aarch64

development / macOS / arm64

development / Windows / AMD64

published

Publish kepler-formal ${{ inputs.version }} to PyPI

Annotations

1 error

Test

Process completed with exit code 8.

build

failed Oct 6, 2026 in 31m 0s

Loading

Solver problem size: a test the Bazel build runs

Uh oh!

Annotations

Re-running jobs...