Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | ci.sh | 24373 | logplain |
-rwxr-xr-x | circle-ci-job.sh | 4041 | logplain |
-rw-r--r-- | common.sh | 893 | logplain |
d--------- | darwin | 71 | logplain |
-rwxr-xr-x | gen_ci.hs | 29349 | logplain |
-rwxr-xr-x | generate_jobs | 260 | logplain |
d--------- | issue_templates | 130 | logplain |
-rw-r--r-- | jobs.yaml | 106680 | logplain |
d--------- | merge_request_templates | 91 | logplain |
-rwxr-xr-x | test-metrics.sh | 2014 | logplain |
-rwxr-xr-x | upload_ghc_libs.py | 7541 | logplain |