Merge remote-tracking branch 'refs/remotes/origin/master'

Author: soulomoon

.github/workflows/pre-commit.yml

@@ -53,7 +53,7 @@ jobs:
               ${{ inputs.cache-prefix }}${{ env.cache-name }}-${{ inputs.os }}-${{ inputs.ghc }}-
               ${{ inputs.cache-prefix }}${{ env.cache-name }}-${{ inputs.os }}-
 
-    - uses: actions/setup-python@v4
+    - uses: actions/setup-python@v5
     - uses: pre-commit/[email protected]
       with:
         extra_args: --files ${{ needs.file-diff.outputs.git-diff }}

cabal.project

@@ -36,7 +36,7 @@ packages:
          ./plugins/hls-overloaded-record-dot-plugin
          ./plugins/hls-semantic-tokens-plugin
 
-index-state: 2023-11-14T11:26:13Z
+index-state: 2023-12-10T23:30:17Z
 
 tests: True
 test-show-details: direct

plugins/hls-stan-plugin/hls-stan-plugin.cabal

@@ -46,7 +46,7 @@ library
     , text
     , transformers
     , unordered-containers
-    , stan
+    , stan >= 0.1.1.0
 
   default-language:   Haskell2010
   default-extensions: