Skip to content

Bump actions/checkout from 4.1.4 to 4.1.5 #197

Bump actions/checkout from 4.1.4 to 4.1.5

Bump actions/checkout from 4.1.4 to 4.1.5 #197

Triggered via pull request May 13, 2024 11:06
Status Success
Total duration 3m 27s
Artifacts

ci.yml

on: pull_request
Soundness Check
2m 5s
Soundness Check
Compile Counter Example
2m 28s
Compile Counter Example
Matrix: Unit Test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Unit Test (5.9)
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1