Skip to content
CodeQL

Feature: If possible save the last selected node in the proof, to reselect it upon loading. #1759

Sign in to view logs

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

Feature: If possible save the last selected node in the proof, to reselect it upon loading. #1759

Triggered via pull request November 14, 2023 12:06
@unp1unp1
synchronize #3324
issue3297
Status Success
Total duration 6m 3s
Artifacts –

codeql.yml

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