ci: add a codeql workflow

.github/workflows/build_app.yml

@@ -40,13 +40,18 @@ jobs:
           fetch-depth: 0
           path: ${{ github.workspace }}/repo
       - name: setup uv
-        uses: astral-sh/setup-uv@v7
+        uses: "astral-sh/setup-uv@cec208311dfd045dd5311c1add060b2062131d57"
         with:
           python-version: 'cpython-3.14-windows-${{ matrix.arch }}-none'
           working-directory: ${{ github.workspace }}/repo
       - name: Install dependencies
         working-directory: ${{ github.workspace }}/repo
         run: uv sync --frozen --compile --group build --group test
+      - name: compile python bytecode
+        working-directory: ${{ github.workspace }}/repo
+        run: |
+          uv run -m compileall -f -o 1 .\basilisk
+          uv run -m compileall -f -o 1 .\tests
       - name: run tests
         working-directory: ${{ github.workspace }}/repo
         run: uv run -m pytest --cov

.github/workflows/codeql.yml

@@ -0,0 +1,109 @@
+name: "CodeQL Advanced"
+
+on:
+  push:
+    branches: [ "master" ]
+  pull_request:
+    branches: [ "master" ]
+    paths-ignore:
+      - "**/*.md"
+      - ".pre-commit-config.yaml"
+  schedule:
+    - cron: '15 16 * * 1'
+
+jobs:
+  analyze:
+    name: Analyze (${{ matrix.language }})
+    # Runner size impacts CodeQL analysis time. To learn more, please see:
+    #   - https://gh.io/recommended-hardware-resources-for-running-codeql
+    #   - https://gh.io/supported-runners-and-hardware-resources
+    #   - https://gh.io/using-larger-runners (GitHub.com only)
+    # Consider using larger runners or machines with greater resources for possible analysis time improvements.
+    runs-on: ${{ matrix.os }}
+    env:
+      UV_NO_DEV: true
+    permissions:
+      # required for all workflows
+      security-events: write
+
+      # required to fetch internal or private CodeQL packs
+      packages: read
+
+      # only required for workflows in private repositories
+      actions: read
+      contents: read
+
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+        - language: actions
+          build-mode: none
+          os: ubuntu-latest
+        - language: python
+          build-mode: none
+          os: windows-latest
+        # CodeQL supports the following values keywords for 'language': 'actions', 'c-cpp', 'csharp', 'go', 'java-kotlin', 'javascript-typescript', 'python', 'ruby', 'rust', 'swift'
+        # Use `c-cpp` to analyze code written in C, C++ or both
+        # Use 'java-kotlin' to analyze code written in Java, Kotlin or both
+        # Use 'javascript-typescript' to analyze code written in JavaScript, TypeScript or both
+        # To learn more about changing the languages that are analyzed or customizing the build mode for your analysis,
+        # see https://docs.github.com/en/code-security/code-scanning/creating-an-advanced-setup-for-code-scanning/customizing-your-advanced-setup-for-code-scanning.
+        # If you are analyzing a compiled language, you can modify the 'build-mode' for that language to customize how
+        # your codebase is analyzed, see https://docs.github.com/en/code-security/code-scanning/creating-an-advanced-setup-for-code-scanning/codeql-code-scanning-for-compiled-languages
+    steps:
+    - name: Checkout repository
+      uses: actions/checkout@v4
+
+    # Add any setup steps before running the `github/codeql-action/init` action.
+    # This includes steps like installing compilers or runtimes (`actions/setup-node`
+    # or others). This is typically only required for manual builds.
+    - name: Setup python
+      if: matrix.language == 'python'
+      uses: "astral-sh/setup-uv@cec208311dfd045dd5311c1add060b2062131d57"
+      with:
+        activate-environment: true
+    - name: Install python dependencies
+      if: matrix.language == 'python'
+      run: uv sync --frozen --compile --group build --group test
+    - name: compile python bytecode
+      if: matrix.language == 'python'
+      run: |
+          python -m compileall -f -o 1 .\basilisk
+          python -m compileall -f -o 1 .\tests
+
+    # Initializes the CodeQL tools for scanning.
+    - name: Initialize CodeQL
+      uses: github/codeql-action/init@v4
+      with:
+        languages: ${{ matrix.language }}
+        build-mode: ${{ matrix.build-mode }}
+        # If you wish to specify custom queries, you can do so here or in a config file.
+        # By default, queries listed here will override any specified in a config file.
+        # Prefix the list here with "+" to use these queries and those in the config file.
+
+        # For more details on CodeQL's query packs, refer to: https://docs.github.com/en/code-security/code-scanning/automatically-scanning-your-code-for-vulnerabilities-and-errors/configuring-code-scanning#using-queries-in-ql-packs
+        analysis-kinds: 'code-scanning,code-quality'
+        queries: security-extended,security-and-quality
+
+    # If the analyze step fails for one of the languages you are analyzing with
+    # "We were unable to automatically build your code", modify the matrix above
+    # to set the build mode to "manual" for that language. Then modify this step
+    # to build your code.
+    # ℹ️ Command-line programs to run using the OS shell.
+    # 📚 See https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_idstepsrun
+    - name: Run manual build steps
+      if: matrix.build-mode == 'manual'
+      shell: bash
+      run: |
+        echo 'If you are using a "manual" build mode for one or more of the' \
+          'languages you are analyzing, replace this with the commands to build' \
+          'your code, for example:'
+        echo '  make bootstrap'
+        echo '  make release'
+        exit 1
+
+    - name: Perform CodeQL Analysis
+      uses: github/codeql-action/analyze@v4
+      with:
+        category: "/language:${{matrix.language}}"

.github/workflows/copilot-setup-steps.yml

@@ -14,7 +14,7 @@ on:
 jobs:
   # The job MUST be called `copilot-setup-steps` or it will not be picked up by Copilot.
   copilot-setup-steps:
-    runs-on: ubuntu-latest
+    runs-on: windows-latest
 
     # Set the permissions to the lowest permissions possible needed for your steps.
     # Copilot will be given its own token for its operations.
@@ -23,13 +23,9 @@ jobs:
       contents: read
 
     steps:
-      - name: install wxpython build requirements
-        run: |
-          sudo apt update
-          sudo apt-get install libgtk-3-dev libglew-dev
       - name: Checkout code
         uses: actions/checkout@v6
       - name: setup uv
-        uses: astral-sh/setup-uv@v7
+        uses: "astral-sh/setup-uv@cec208311dfd045dd5311c1add060b2062131d57"
       - name: install dev dependencies
         run: uv sync --frozen --compile --dev

.github/workflows/localization.yml

@@ -25,7 +25,7 @@ jobs:
       - name: checkout repository
         uses: actions/checkout@v6
       - name: setup uv
-        uses: astral-sh/setup-uv@v7
+        uses: "astral-sh/setup-uv@cec208311dfd045dd5311c1add060b2062131d57"
       - name: Install dependencies
         run: uv sync --frozen --group build
       - name: build POT file

.github/workflows/ruff.yml

@@ -12,6 +12,4 @@ jobs:
       - name: checkout repository
         uses: actions/checkout@v6
       - name: run ruff
-        uses: astral-sh/ruff-action@v3
-        with:
-          version: "latest"
+        uses: "astral-sh/ruff-action@4919ec5cf1f49eff0871dbcea0da843445b837e6"