Skip to content
Code Checks

Print print intermediate configurations after some function events in kore-proof-trace #3198

Sign in to view logs

Print print intermediate configurations after some function events in kore-proof-trace

Print print intermediate configurations after some function events in kore-proof-trace #3198

Triggered via pull request September 10, 2024 18:30
@RobertorosmaninhoRobertorosmaninho
synchronize #1139
print-post-function-events
Status Cancelled
Total duration 5m 49s
Artifacts –

clang-format-check.yml

on: pull_request
Formatting Check
52s
Formatting Check
Shell check
6s
Shell check
Clang Tidy check
5m 25s
Clang Tidy check
Scala formatting check
36s
Scala formatting check
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
Clang Tidy check
Canceling since a higher priority waiting request for 'Code Checks-refs/pull/1139/merge' exists
Clang Tidy check
The operation was canceled.
Scala formatting check
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/