Skip to content
Snippets Groups Projects
  1. Dec 21, 2022
    • Zubin's avatar
      Prepare release 1.9.0.0 · ee121f52
      Zubin authored
      ee121f52
    • Zubin's avatar
      Gitlab CI improvements (#3324) · 6e4612dc
      Zubin authored
      
      * Add ubuntu builds to gitlab CI
      
      Fixes #3169
      
      * Run pipelines from web interface
      
      * Use nix for darwin
      
      * Drop 9.2.3 and add 9.4.3
      
      * Build in parallel
      
      * Add 9.2.5
      
      * fixes
      
      * Fix x86_64-darwin
      
      * Drop 9.4.3 (ghc-exactprint)
      
      * Revert "Drop 9.4.3 (ghc-exactprint)"
      
      This reverts commit 9f0936d5.
      
      * Bump index state to allow 9.4.3
      
      * debug
      
      * fixes
      
      * fixes
      
      * fixes
      
      * fixes
      
      * fixes
      
      * fixes
      
      Co-authored-by: default avatarJulian Ospald <hasufell@posteo.de>
      6e4612dc
  2. Dec 20, 2022
  3. Dec 19, 2022
  4. Dec 18, 2022
  5. Dec 17, 2022
    • Ian-Woo Kim's avatar
      Fix nix build CI (#3404) · f5db1507
      Ian-Woo Kim authored
      * fix fourmolu with -f-fixity-th in nix env
      
      * ci failure test
      
      * bump nix file.
      
      * disable cachix action
      
      * further comment out
      
      * revive cachix action.
      
      * remove commented-out
      
      * fix hls-cabal-plugin by removing Cabal-syntax.
      note that this is an opposite to #3383, to prioritize CI fix first.
      
      * limit implicit-hie < 0.1.3
      
      * added a small comment and link to the issue.
      
      * put implicit-hie to ghcide dep
      
      * bump CI
      f5db1507
  6. Dec 16, 2022
  7. Dec 14, 2022
  8. Dec 12, 2022
  9. Dec 11, 2022
    • Pepe Iborra's avatar
      Support optional plugins (#3193) · 6f5a7350
      Pepe Iborra authored
      * Support initial generic config for plugins
      
      This enables opt-in  plugins, i.e. plugins that are not enabled by default
      
      * Support initial generic config for plugins
      
      This enables opt-in  plugins, i.e. plugins that are not enabled by default
      
      * Address review comments and remove optionality in configInitialGenericConfig
      
      I can't remember why this was optional in the first place, which probably means no good reason for it to be
      
      * use defConfig instead of def
      
      * test
      
      * descriptor is the golden source for plugin default configs
      
      Read plugin defaults from plugin descriptor instead of copying into initial config
      
      This is less fragile as now the initial generic config specified in the plugin
      descriptor is enforced by construction.
      
      The downside is that now the descriptor is needed to parse the config, which
      means a few places where a plugin id was enough now require a plugin descriptor,
      which is much harder to get. We paper over this by moving these call sites to
      the Action monad.
      
      * redundant import
      
      * simplify
      
      * Build fixes
      
      * Build fixes
      
      * pedantic fixes
      6f5a7350
  10. Dec 08, 2022
  11. Dec 07, 2022
  12. Dec 05, 2022
  13. Dec 02, 2022
Loading