feat: add brainfuck_prover cli #276
ci.yaml
on: pull_request
machete
14s
run-brainfuck-prover-unit-tests
56s
run-brainfuck-vm-unit-tests
38s
run-brainfuck-vm-integration-tests
33s
run-brainfuck-prover-unit-tests-parallel
55s
all-tests
2s
Annotations
6 warnings
machete
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
run-brainfuck-vm-integration-tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
run-brainfuck-vm-unit-tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
run-brainfuck-prover-unit-tests-parallel
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
run-brainfuck-prover-unit-tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
all-tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|