Merge branch 'PHP-8.1' into PHP-8.2

* PHP-8.1:
  [skip ci] Allow to run push workflows manually

Author: cmb69

.github/workflows/push.yml

@@ -34,6 +34,7 @@ on:
       - .circleci/**
     branches:
       - '**'
+  workflow_dispatch: ~
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.url || github.run_id }}
   cancel-in-progress: true