Skip to content
gap-tests

gap-test-18 feat: Add improved prover9 script #46

Sign in to view logs

gap-test-18 feat: Add improved prover9 script

gap-test-18 feat: Add improved prover9 script #46

Triggered via pull request July 5, 2024 09:41
@limakzilimakzi
opened #18
feature/add-improved-prover-script
Status Success
Total duration 1m 44s
Artifacts –

pull-request-gap-tests.yaml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
master
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1
stable-4.11
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1
stable-4.12
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1
stable-4.13
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1