Skip to content
CodeQL

Alternative for: "If possible save the last selected node in the proof, to reselect it upon loading." #2019

Sign in to view logs

Alternative for: "If possible save the last selected node in the proof, to reselect it upon loading."

Alternative for: "If possible save the last selected node in the proof, to reselect it upon loading." #2019

Triggered via pull request February 3, 2024 16:47
@wadoonwadoon
synchronize #3380
weigl/restorelastnode
Status Success
Total duration 6m 32s
Artifacts –

codeql.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Analyze (java)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, github/codeql-action/init@v2, github/codeql-action/autobuild@v2, github/codeql-action/analyze@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Analyze (java)
CodeQL Action v2 will be deprecated on December 5th, 2024. Please update all occurrences of the CodeQL Action in your workflow files to v3. For more information, see https://github.blog/changelog/2024-01-12-code-scanning-deprecation-of-codeql-action-v2/