Skip to content

Bump actions/checkout from 4.1.7 to 4.2.2 #359

Bump actions/checkout from 4.1.7 to 4.2.2

Bump actions/checkout from 4.1.7 to 4.2.2 #359

Triggered via pull request October 28, 2024 11:11
Status Success
Total duration 3m 14s
Artifacts

ci.yml

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