Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | circle-ci-job.sh | 4041 | logplain |
-rw-r--r-- | darwin-init.sh | 1041 | logplain |
-rwxr-xr-x | fix-submodules.py | 1528 | logplain |
d--------- | issue_templates | 80 | logplain |
d--------- | linters | 174 | logplain |
d--------- | merge_request_templates | 91 | logplain |
-rwxr-xr-x | prepare-system.sh | 2338 | logplain |
-rwxr-xr-x | push-test-metrics.sh | 3222 | logplain |
-rw-r--r-- | start-head.hackage.sh | 1805 | logplain |
-rw-r--r-- | win32-init.sh | 1095 | logplain |