Merge Requests · curry / pakcs

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
Update PAKCS to compile with the new frontend

!5 · created Oct 20, 2020 by Fredrik Wieczerkowski
- MERGED
- 0
updated Oct 21, 2020
Fix integer division for large numbers

!3 · created Oct 19, 2019 by Kai Prott
- MERGED
- 0
updated Oct 28, 2019
debian/*: Add upstream packaging recipe for Debian and derivatives.

!2 · created Sep 22, 2017 by Mike Gabriel release/1.14.x
- MERGED
- 5
updated Sep 26, 2017