Showing
- .gitlab/generate-ci/flake.nix 47 additions, 0 deletions.gitlab/generate-ci/flake.nix
- .gitlab/generate-ci/gen_ci.hs 1398 additions, 0 deletions.gitlab/generate-ci/gen_ci.hs
- .gitlab/generate-ci/generate-ci.cabal 15 additions, 0 deletions.gitlab/generate-ci/generate-ci.cabal
- .gitlab/generate-ci/generate-job-metadata 9 additions, 0 deletions.gitlab/generate-ci/generate-job-metadata
- .gitlab/generate-ci/generate-jobs 14 additions, 0 deletions.gitlab/generate-ci/generate-jobs
- .gitlab/generate-ci/hie.yaml 2 additions, 0 deletions.gitlab/generate-ci/hie.yaml
- .gitlab/hello.hs 49 additions, 0 deletions.gitlab/hello.hs
- .gitlab/issue_templates/bug.md 0 additions, 24 deletions.gitlab/issue_templates/bug.md
- .gitlab/issue_templates/default.md 24 additions, 0 deletions.gitlab/issue_templates/default.md
- .gitlab/issue_templates/documentation_issue.md 22 additions, 0 deletions.gitlab/issue_templates/documentation_issue.md
- .gitlab/issue_templates/feature_request.md 7 additions, 0 deletions.gitlab/issue_templates/feature_request.md
- .gitlab/jobs.yaml 7435 additions, 0 deletions.gitlab/jobs.yaml
- .gitlab/linters/check-cpp.py 0 additions, 31 deletions.gitlab/linters/check-cpp.py
- .gitlab/linters/check-makefiles.py 0 additions, 21 deletions.gitlab/linters/check-makefiles.py
- .gitlab/linters/check-version-number.sh 0 additions, 6 deletions.gitlab/linters/check-version-number.sh
- .gitlab/merge_request_templates/Default.md 42 additions, 0 deletions.gitlab/merge_request_templates/Default.md
- .gitlab/merge_request_templates/Haddock.md 17 additions, 0 deletions.gitlab/merge_request_templates/Haddock.md
- .gitlab/merge_request_templates/backport-for-8.8.md 0 additions, 11 deletions.gitlab/merge_request_templates/backport-for-8.8.md
- .gitlab/merge_request_templates/merge-request.md 0 additions, 21 deletions.gitlab/merge_request_templates/merge-request.md
- .gitlab/prepare-system.sh 0 additions, 80 deletions.gitlab/prepare-system.sh
Some changes are not shown.
For a faster browsing experience, only 20 of 1000+ files are shown. Download one of the files below to see all changes.
.gitlab/generate-ci/flake.nix
0 → 100644
.gitlab/generate-ci/gen_ci.hs
0 → 100644
This diff is collapsed.
.gitlab/generate-ci/generate-ci.cabal
0 → 100644
.gitlab/generate-ci/generate-job-metadata
0 → 100755
.gitlab/generate-ci/generate-jobs
0 → 100755
.gitlab/generate-ci/hie.yaml
0 → 100644
.gitlab/hello.hs
0 → 100644
.gitlab/issue_templates/bug.md
deleted
100644 → 0
.gitlab/issue_templates/default.md
0 → 100644
.gitlab/jobs.yaml
0 → 100644
This diff is collapsed.
.gitlab/linters/check-cpp.py
deleted
100755 → 0
.gitlab/linters/check-makefiles.py
deleted
100755 → 0
.gitlab/merge_request_templates/Default.md
0 → 100644
.gitlab/merge_request_templates/Haddock.md
0 → 100644
.gitlab/prepare-system.sh
deleted
100755 → 0