Skip to content

Bump actions/checkout from 4.1.7 to 4.2.0 #338

Bump actions/checkout from 4.1.7 to 4.2.0

Bump actions/checkout from 4.1.7 to 4.2.0 #338

Triggered via pull request October 7, 2024 11:06
Status Success
Total duration 3m 4s
Artifacts

ci.yml

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