Merge pull request #1279 from DeterminateSystems/drop-unnecessary-index

Drop unused IndexBuildOutputsOnPath index
This commit is contained in:
Graham Christensen 2023-03-06 11:06:31 -05:00 committed by GitHub
commit ecfa817d30
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 1 deletions

View file

@ -4,7 +4,7 @@ on:
push:
jobs:
tests:
runs-on: ubuntu-18.04
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:

3
src/sql/upgrade-83.sql Normal file
View file

@ -0,0 +1,3 @@
-- This index was introduced in a migration but was never recorded in
-- hydra.sql (the source of truth), which is why `if exists` is required.
drop index if exists IndexBuildOutputsOnPath;