feat: add brainfuck_prover cli #274
ci.yaml
on: pull_request
machete
17s
run-brainfuck-prover-unit-tests
1m 56s
run-brainfuck-vm-unit-tests
36s
run-brainfuck-vm-integration-tests
35s
run-brainfuck-prover-unit-tests-parallel
2m 9s
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-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-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-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
|
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
|