add ci workflow
authorMichael Wallner <mike@php.net>
Wed, 12 Jan 2022 16:07:43 +0000 (17:07 +0100)
committerMichael Wallner <mike@php.net>
Wed, 12 Jan 2022 16:07:43 +0000 (17:07 +0100)
commit5d7ee4157ce172a48bb6574f3e28c28d641fae23
tree3a8163d82c64c7a9a09ed37289c8c9b5d27f79d0
parent7b91707b6d7cb6537351c291a6d78e491fb059f8
add ci workflow
.editorconfig
.github/workflows/ci.yml [new file with mode: 0644]
.gitmodules
ion.stub.php
ion_arginfo.h
scripts/ci [new submodule]
scripts/gen_github_workflow_ci.php [new file with mode: 0755]