Skip to content
Back to pull request #1024

Update dependency: matching/deps/scala_kore_release #2600

Sign in to view logs

Update dependency: matching/deps/scala_kore_release

Update dependency: matching/deps/scala_kore_release #2600

Triggered via pull request April 11, 2024 14:42
@rv-jenkinsrv-jenkins
synchronize #1024
_update-deps/runtimeverification/scala-kore
Status Success
Total duration 5m 30s
Artifacts –

clang-format-check.yml

on: pull_request
Formatting Check
58s
Formatting Check
Shell check
5s
Shell check
Clang Tidy check
5m 24s
Clang Tidy check
Scala formatting check
38s
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/.