Repository navigation

Fix dev/lint status - #93

Open

lode wants to merge 17 commits into

mainfrom

bump-dev-php-version

Open

Fix dev/lint status#93
lode wants to merge 17 commits into
mainfrom
bump-dev-php-version

Commits on Aug 22, 2026
- bump php version for dev-only
  lode
  committed
  88cd72f
- fix invalid phpstan config
  lode
  committed
  c8122ca
- always run CI
  lode
  committed
  a88d515
- bump php in CI lint
  lode
  committed
  3a89fbd
- fix linting everything with `php -l`
  lode
  committed
  cc5393c
- upgrade gh actions
  lode
  committed
  57662c4
- also let fix run on the whole codebase
  lode
  committed
  5109d44
- adjust for phpcbf's new exit codes
  lode
  committed
  e53a395
- update phpunit and other majors
  lode
  committed
  010e781
- try linting/testing multiple php versions
  lode
  committed
  38ae808
- linting doesn't need runtime, can check anyway
  lode
  committed
  0054ef9
- install right composer packages in CI and test all
  lode
  committed
  7071ac4
- CS
  lode
  committed
  72e42bb
- copy-pasta
  lode
  committed
  122011a
- make clear all php versions are supported
  lode
  committed
  108019c
- clarify what linting CI runs
  lode
  committed
  0ce5a1e
- move sealed array linting to bonus instead of disabling bleeding edge
  lode
  committed
  775c942