summaryrefslogtreecommitdiff
path: root/Jenkinsfile
AgeCommit message (Collapse)Author
2024-10-04T6763: Delete Jenkins fileViacheslav Hletenko
2021-03-26Jenkins: setup OCaml build environmentChristian Poessinger
2021-02-07Jenkins: enable arm64 buildsChristian Poessinger
2021-01-10Jenkins: add CI/CDChristian Poessinger