Skip to content

Bump actions/checkout from 4.1.2 to 4.1.3 #191

Bump actions/checkout from 4.1.2 to 4.1.3

Bump actions/checkout from 4.1.2 to 4.1.3 #191

Triggered via pull request April 22, 2024 11:31
Status Success
Total duration 2m 26s
Artifacts

ci.yml

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