Skip to content

[Sticky Scrolling] Fix "Show line numbers" settings is not correctly handled #3422

[Sticky Scrolling] Fix "Show line numbers" settings is not correctly handled

[Sticky Scrolling] Fix "Show line numbers" settings is not correctly handled #3422

Workflow file for this run

name: CodeQL call
on:
push:
branches: [ "master" ]
pull_request:
branches: [ "master" ]
schedule:
- cron: '15 8 * * 1'
workflow_call:
jobs:
callCodeQLworkflow:
uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/codeQLworkflow.yml@master