summaryrefslogtreecommitdiff
path: root/.gitlab
ModeNameSize
-rwxr-xr-xci.sh13267logplain
-rwxr-xr-xcircle-ci-job.sh4041logplain
-rw-r--r--common.sh893logplain
d---------issue_templates130logplain
d---------linters221logplain
d---------merge_request_templates91logplain
-rw-r--r--start-head.hackage.sh1844logplain
-rwxr-xr-xtest-metrics.sh3728logplain