summaryrefslogtreecommitdiff
path: root/Jenkinsfile
AgeCommit message (Collapse)Author
2024-10-04T6763: Delete Jenkins filemergify/bp/circinus/pr-26Viacheslav Hletenko
(cherry picked from commit 92404987be18d6b019e403505d1ab710200caa5f)
2021-03-26Jenkins: setup OCaml build environmentChristian Poessinger
2021-02-07Jenkins: enable arm64 buildsChristian Poessinger
2021-01-10Jenkins: add CI/CDChristian Poessinger