summaryrefslogtreecommitdiff
path: root/Jenkinsfile
AgeCommit message (Expand)Author
2023-03-25jenkins lint -> gitea workflowlint-workflowAndrew Dolgov
2022-12-30CI: use local registry php imageAndrew Dolgov
2022-10-02Jenkins: set discarderAndrew Dolgov
2022-10-01remove docker-on-docker hacks from JenkinsfileAndrew Dolgov
2022-10-01add Jenkinsfile to enable separate CI for pull requestsAndrew Dolgov