Merge requests · curry / pakcs

Add hie.yaml for the Haskell langauge server

!34 · created Apr 15, 2023 by Fredrik Wieczerkowski
- Merged
- 0
updated Apr 18, 2023
Add .vscode and .DS_Store to gitignore

!33 · created Dec 20, 2022 by Fredrik Wieczerkowski
- Merged
- 0
updated Jan 30, 2023
Update frontend to most recent master (using GHC 9.2)

!32 · created Dec 02, 2022 by Fredrik Wieczerkowski
- Merged
- 2
updated Dec 16, 2022
Read home directory from USERPROFILE on Windows

!31 · created Oct 18, 2022 by Fredrik Wieczerkowski
- Merged
- 0
updated Oct 19, 2022
Draft: Explicitly translate paths for Windows when generating c2p state

!30 · created Oct 18, 2022 by Fredrik Wieczerkowski
- 1
updated Oct 18, 2022
Move generatePrologBasics into Makefile

!29 · created Oct 17, 2022 by Fredrik Wieczerkowski
- Merged
- 1
updated Oct 19, 2022
Quote variables where possible in scripts

!28 · created Oct 16, 2022 by Fredrik Wieczerkowski
- Merged
- 0
updated Oct 19, 2022
Replace 'which' calls with 'command -v'

!27 · created Oct 16, 2022 by Fredrik Wieczerkowski
- Merged
- 1
updated Oct 19, 2022
Update frontend (GHC 8.10)

!26 · created Nov 09, 2021 by Fredrik Wieczerkowski
- Merged
- 2
updated Nov 12, 2021
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