summaryrefslogtreecommitdiff
path: root/.gitlab
ModeNameSize
-rwxr-xr-xci.sh24581logplain
-rwxr-xr-xcircle-ci-job.sh4041logplain
-rw-r--r--common.sh893logplain
d---------darwin71logplain
-rwxr-xr-xgen_ci.hs29851logplain
-rwxr-xr-xgenerate_jobs260logplain
d---------issue_templates130logplain
-rw-r--r--jobs.yaml111657logplain
d---------merge_request_templates91logplain
-rwxr-xr-xtest-metrics.sh2014logplain
-rwxr-xr-xupload_ghc_libs.py7836logplain