1 Pull request merged by 1 person

• [pre-commit.ci] pre-commit autoupdate hooks

  #2220 merged Jun 10, 2025

2 Pull requests opened by 2 people

• WIP - Update coverage workflow

  #2221 opened Jun 10, 2025

• enable syntax highlighting in include directive

  #2222 opened Jun 12, 2025