Skip to content

Bump actions/checkout from 4.1.3 to 4.1.4 #194

Bump actions/checkout from 4.1.3 to 4.1.4

Bump actions/checkout from 4.1.3 to 4.1.4 #194

Triggered via pull request April 29, 2024 11:57
Status Success
Total duration 2m 32s
Artifacts

ci.yml

on: pull_request
Soundness Check
18s
Soundness Check
Compile Counter Example
2m 23s
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