summaryrefslogtreecommitdiff
path: root/.gitlab
ModeNameSize
-rwxr-xr-xci.sh27477logplain
-rwxr-xr-xcircle-ci-job.sh4041logplain
-rw-r--r--common.sh893logplain
d---------darwin71logplain
-rw-r--r--gen-ci.cabal323logplain
-rwxr-xr-xgen_ci.hs33719logplain
-rwxr-xr-xgenerate_jobs379logplain
-rw-r--r--hello.hs1221logplain
-rw-r--r--hie.yaml17logplain
d---------issue_templates130logplain
-rw-r--r--jobs.yaml111075logplain
d---------merge_request_templates91logplain
-rwxr-xr-xtest-metrics.sh2014logplain
-rwxr-xr-xupload_ghc_libs.py8409logplain