- 04 May, 2021 1 commit
-
-
Michael Hanus authored
-
- 26 Apr, 2021 1 commit
-
-
Michael Hanus authored
Verbosity options refined, `:type` command corrected, top-level `Monad` contexts specialized to `IO`
-
- 23 Apr, 2021 1 commit
-
-
Michael Hanus authored
-
- 13 Apr, 2021 1 commit
-
-
Michael Hanus authored
-
- 09 Apr, 2021 5 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
- 06 Apr, 2021 1 commit
-
-
Michael Hanus authored
-
- 17 Mar, 2021 4 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Bennet Bleßmann authored
mention `fix_asset_link.sh` in CI Readme See merge request !22
-
Bennet Bleßmann authored
-
- 09 Mar, 2021 4 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
- 08 Mar, 2021 1 commit
-
-
Michael Hanus authored
-
- 05 Mar, 2021 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 24 Feb, 2021 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 23 Feb, 2021 1 commit
-
-
Michael Hanus authored
-
- 22 Feb, 2021 3 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
- 16 Feb, 2021 2 commits
-
-
Bennet Bleßmann authored
generate link, where we have all the required information See merge request !21
-
Bennet Bleßmann authored
this way `update_version.sh` and `gitlab_release.sh` can't easily diverge form another and `release_helper.sh`
-
- 15 Feb, 2021 6 commits
-
-
Bennet Bleßmann authored
fix generated release links See merge request !20
-
Bennet Bleßmann authored
add script to fix release perma links
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
- 08 Feb, 2021 1 commit
-
-
Bennet Bleßmann authored
Fix incorrect path for creating pakcs vX.Y.Z.version files in the curry-lang.org repo See merge request !19
-
- 07 Feb, 2021 2 commits
-
-
Bennet Bleßmann authored
-
Bennet Bleßmann authored
-
- 05 Feb, 2021 2 commits
-
-
Bennet Bleßmann authored
fix error for tag release pipeline See merge request !18
-
Bennet Bleßmann authored
-
