Skip to content
Code Checks

Remove sentinel for end of KORE terms in the proof hint format #2931

Sign in to view logs

Remove sentinel for end of KORE terms in the proof hint format

Remove sentinel for end of KORE terms in the proof hint format #2931

Triggered via pull request May 31, 2024 18:19
@rv-jenkinsrv-jenkins
edited #1076
delimeter
Status Success
Total duration 13m 13s
Artifacts –

clang-format-check.yml

on: pull_request
Formatting Check
59s
Formatting Check
Shell check
6s
Shell check
Clang Tidy check
8m 31s
Clang Tidy check
Scala formatting check
44s
Scala formatting check
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Scala formatting check
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-java@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.