tell pg-idris tests to find postgres at its host name instead of loca…

…lhost.
mattpolzin · Sep 13, 2021 · 1cd33a7 · 1cd33a7
1 parent b8aec86
commit 1cd33a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -27,7 +27,7 @@ jobs:
 
     env:
       IDRIS2_CG: chez
-      TEST_DATABASE_URL: postgres://postgres:postgres@localhost:5432/postgres
+      TEST_DATABASE_URL: postgres://postgres:postgres@postgres:5432/postgres
 
     steps:
       - name: Install Dependencies