[feat] syntactic semantic tokens #4672
      
        
          +2,688
        
        
          −661
        
        
          
        
      
    
  
                  
     Draft
                
                
              
      Mergify / Summary
      
    succeeded
    Sep 17, 2025  in 1s
    
      2 potential rules
Rule: Automatically update pull requests (update)
-  label=merge me
-  #commits-behind > 0[📌 update requirement]
-  -closed[📌 update requirement]
-  -conflict[📌 update requirement]
-  queue-position = -1[📌 update requirement]
Rule: refactored queue action rule (queue)
-  -draft[📌 queue requirement]
-  any of: [🔀 queue conditions]
-  all of: [📌 queue conditions of queue default]-  #approved-reviews-by >= 1[🛡 GitHub branch protection]
-  #approved-reviews-by>=1
-  label=merge me
-  any of: [🛡 GitHub branch protection]
-  check-neutral = test_post_job
-  check-skipped = test_post_job
-  check-success = test_post_job
 
-  
-  #changes-requested-reviews-by = 0[🛡 GitHub branch protection]
-  any of: [🛡 GitHub branch protection]
-  check-success = docs/readthedocs.org:haskell-language-server
-  check-neutral = docs/readthedocs.org:haskell-language-server
-  check-skipped = docs/readthedocs.org:haskell-language-server
 
-  
-  any of: [🛡 GitHub branch protection]
-  check-success = bench_post_job
-  check-neutral = bench_post_job
-  check-skipped = bench_post_job
 
-  
-  any of: [🛡 GitHub branch protection]
-  check-success = Hlint check run
-  check-neutral = Hlint check run
-  check-skipped = Hlint check run
 
-  
-  any of: [🛡 GitHub branch protection]
-  check-success = flags_post_job
-  check-neutral = flags_post_job
-  check-skipped = flags_post_job
 
-  
 
-  
 
-  all of: [📌 queue conditions of queue 
-  -closed[📌 queue requirement]
-  -conflict[📌 queue requirement]
-  any of: [📌 queue -> configuration change requirements]
-  -mergify-configuration-changed
-  check-success = Configuration changed
 
-  
💖 Mergify is proud to provide this service for free to open source projects.
🚀 You can help us by becoming a sponsor!
Mergify commands and options
More conditions and actions can be found in the documentation.
You can also trigger Mergify actions by commenting on this pull request:
- @Mergifyio refreshwill re-evaluate the rules
- @Mergifyio rebasewill rebase this PR on its base branch
- @Mergifyio updatewill merge the base branch into this PR
- @Mergifyio backport <destination>will backport this PR on- <destination>branch
Additionally, on Mergify dashboard you can:
- look at your merge queues
- generate the Mergify configuration with the config editor.
Finally, you can contact us on https://mergify.com
        
      Loading