Skip to content
Snippets Groups Projects
  • Javier Neira's avatar
    b05e14d7
    Prepare 1.5.1 (#2393) · b05e14d7
    Javier Neira authored
    * Rerun tests between run attempts
    
    * without quotes
    
    * Bump up versions for hackage
    
    * Add support for auth github requests
    
    As anonymous ones reach the api limit quickly
    Via a unique argument with a github oauth token
    
    * Add changelog for 1.5.1
    
    * Fix makrdownlint warnings
    
    * Bump up index state
    
    * Bump up plugin version
    
    * build with -v3 on error
    
    * More backjumps for tests and benchs
    
    * Add last prs
    
    * eval plugin needs ghcide>=1.5.0.1
    
    * Include #2395 in the changelog
    
    * Ignore deferred tests for win and 9.0.1
    
    * Ignore tactics tests for ubuntu+8.6.5
    Prepare 1.5.1 (#2393)
    Javier Neira authored
    * Rerun tests between run attempts
    
    * without quotes
    
    * Bump up versions for hackage
    
    * Add support for auth github requests
    
    As anonymous ones reach the api limit quickly
    Via a unique argument with a github oauth token
    
    * Add changelog for 1.5.1
    
    * Fix makrdownlint warnings
    
    * Bump up index state
    
    * Bump up plugin version
    
    * build with -v3 on error
    
    * More backjumps for tests and benchs
    
    * Add last prs
    
    * eval plugin needs ghcide>=1.5.0.1
    
    * Include #2395 in the changelog
    
    * Ignore deferred tests for win and 9.0.1
    
    * Ignore tactics tests for ubuntu+8.6.5
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
GenChangelogs.hs 1.62 KiB