update ci
authorMichael Wallner <mike@php.net>
Sun, 27 Dec 2020 10:50:18 +0000 (11:50 +0100)
committerMichael Wallner <mike@php.net>
Sun, 27 Dec 2020 10:55:57 +0000 (11:55 +0100)
commit153f132b2e86d9d348a8d21e9986ca255630f910
treeadc737dab8b93e1c52a83b5b8fac6375620051e2
parentb4ef76f170b50709d127a00199e6cfa255b65be9
update ci
.builds/scripts/notify-gitter
.github/notify-gitter.sh
.github/workflows/cmake-build-ci.gen
.github/workflows/cmake-build-ci.yml