Skip to content

Merge pull request #10 from jonhoo/soundness #13

Merge pull request #10 from jonhoo/soundness

Merge pull request #10 from jonhoo/soundness #13

Triggered via push October 19, 2024 10:52
Status Failure
Total duration 1m 5s
Artifacts

test.yml

on: push
ubuntu / stable / minimal-versions
29s
ubuntu / stable / minimal-versions
ubuntu / stable / coverage
31s
ubuntu / stable / coverage
Matrix: os-check
Matrix: required
Fit to window
Zoom out
Zoom in

Annotations

1 error
ubuntu / stable / coverage
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1