Skip to content

2025-07-22-dev

Pre-release
Pre-release

Choose a tag to compare

@github-actions github-actions released this 22 Jul 16:39
· 891 commits to refs/heads/main since this release

2025.07.22

  • add include-check, duplication-check and color-formatting-check tests to the github pipelines
  • adjust a LOT of malformed names
  • remove duplicates acros files