-
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
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