summaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Expand)Author
2021-03-19core: add repository ppa:ondrej/php in CISébastien Helleu
2021-03-19core: replace pylint3 by pylint in CI on Ubuntu 20.04Sébastien Helleu
2021-03-19core: first remove package php7.4-common in CI on Ubuntu 20.04Sébastien Helleu
2021-03-19core: switch from Ubuntu 18.04 to 20.04 in CISébastien Helleu
2021-03-05core: force Ubuntu 18.04 for CISébastien Helleu
2020-10-04core: use apt-get option --no-install-recommends instead of modifying config ...Sébastien Helleu
2020-05-22core: add CI with GitHub Actions, move codecov.io upload to GitHub ActionsSébastien Helleu