summaryrefslogtreecommitdiff
path: root/.gitlab
ModeNameSize
-rwxr-xr-xci.sh24130logplain
-rwxr-xr-xcircle-ci-job.sh4041logplain
-rw-r--r--common.sh893logplain
d---------darwin71logplain
-rwxr-xr-xgen_ci.hs31892logplain
-rwxr-xr-xgenerate_jobs260logplain
d---------issue_templates130logplain
-rw-r--r--jobs.yaml117579logplain
d---------merge_request_templates91logplain
-rwxr-xr-xtest-metrics.sh2014logplain
-rwxr-xr-xupload_ghc_libs.py8243logplain