summaryrefslogtreecommitdiffstats
path: root/scripts/ci
Commit message (Expand)AuthorAgeFilesLines
* Checkout of repo from JenkinsLaurent Bonnans2018-06-181-0/+27
generated by cgit v1.2.3-54-g00ecf (git 2.39.0) at 2024-11-14 15:09:48 +0000