Merge requests · curry / pakcs

fix a CI todo and some cleanup

!25 · created Jul 13, 2021 by Bennet Bleßmann
- MERGED
- Approved
- 0
updated Jul 16, 2021
Fix failing "Test Download" scheduled Pipeline job

!24 · created Jun 14, 2021 by Bennet Bleßmann
- MERGED
- 0
updated Jun 14, 2021
upgrade ghc in ci image

!23 · created Jun 08, 2021 by Bennet Bleßmann
- MERGED
- 0
updated Jun 08, 2021
mention `fix_asset_link.sh` in CI Readme

!22 · created Mar 17, 2021 by Bennet Bleßmann
- MERGED
- 0
updated Mar 17, 2021
generate link, where we have all the required information

!21 · created Feb 16, 2021 by Bennet Bleßmann
- MERGED
- 0
updated Feb 16, 2021
fix generated release links

!20 · created Feb 15, 2021 by Bennet Bleßmann
- MERGED
- 0
updated Feb 15, 2021
Fix incorrect path for creating pakcs vX.Y.Z.version files in the curry-lang.org repo

!19 · created Feb 07, 2021 by Bennet Bleßmann
- MERGED
- 0
updated Feb 08, 2021
fix error for tag release pipeline

!18 · created Feb 05, 2021 by Bennet Bleßmann
- MERGED
- 0
updated Feb 05, 2021
update ci readme

!17 · created Feb 02, 2021 by Bennet Bleßmann
- MERGED
- 0
updated Feb 02, 2021
Split run_download_make CI job and adjust custom section title style to match build in sections

!16 · created Jan 30, 2021 by Bennet Bleßmann
- MERGED
- 0
updated Jan 30, 2021
Add custom collapsible section to ci log

!15 · created Jan 28, 2021 by Bennet Bleßmann
- MERGED
- 0
updated Jan 28, 2021
Master setup ci

!14 · created Dec 19, 2020 by Bennet Bleßmann
- MERGED
- 1
updated Dec 21, 2020
Update currytools to include new System.CurryPath module

!13 · created Nov 28, 2020 by Fredrik Wieczerkowski
- MERGED
- Approved
- 0
updated Nov 30, 2020
Add .md extension to readme, release and installation notes

!12 · created Nov 18, 2020 by Fredrik Wieczerkowski Documentation
- MERGED
- Approved
- 0
updated Nov 19, 2020
Pass environment to process_create for SICStus

!11 · created Nov 17, 2020 by Finn Teegen
- MERGED
- Approved
- 0
updated Nov 17, 2020
Use versioned output directories

!10 · created Nov 05, 2020 by Fredrik Wieczerkowski
- MERGED
- 2
updated Nov 06, 2020
Use desugar-newtypes flag with frontend

!9 · created Oct 28, 2020 by Fredrik Wieczerkowski
- MERGED
- 0
updated Oct 29, 2020
Update to the new, unified frontend

!8 · created Oct 23, 2020 by Fredrik Wieczerkowski
- MERGED
- 0
updated Oct 26, 2020
Update libraries to fix (=:=) and (=:<=) arities

!7 · created Oct 23, 2020 by Fredrik Wieczerkowski
- MERGED
- 0
updated Oct 26, 2020
Add some more frontend-related fixes

!6 · created Oct 23, 2020 by Fredrik Wieczerkowski
- MERGED
- 0
updated Oct 23, 2020