Skip to content
CI

chore(print): removed batchID from print log (#140) #4

Sign in to view logs

chore(print): removed batchID from print log (#140)

chore(print): removed batchID from print log (#140) #4

Triggered via push October 9, 2024 20:02
@xtremekforeverxtremekforever
pushed 90d63b4
main
Status Success
Total duration 2m 50s
Artifacts –

ci.yml

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