3 Pull requests merged by 2 people

• Bump github/codeql-action from 3.26.6 to 3.26.7

  #960 merged Sep 19, 2024

• Remove unnecessary CommentExtraction instances

  #958 merged Sep 15, 2024

• Use WithComments instead of GHC's types

  #959 merged Sep 15, 2024

2 Pull requests opened by 1 person

• Suppress warnings

  #961 opened Sep 20, 2024

• Restrict `Cabal < 3.12`

  #962 opened Sep 20, 2024