From 5375c341a634d98ce63400166336a8d5e99c6e6c Mon Sep 17 00:00:00 2001
From: Thijs Wenker <me@thoys.nl>
Date: Thu, 23 Apr 2020 11:10:56 +0200
Subject: [PATCH] fix upload script path

---
 .github/workflows/pr_build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pr_build.yml b/.github/workflows/pr_build.yml
index 05f049fae6..0a854f687b 100644
--- a/.github/workflows/pr_build.yml
+++ b/.github/workflows/pr_build.yml
@@ -131,4 +131,4 @@ jobs:
       working-directory: ${{runner.workspace}}/build
       env:
         GITHUB_CONTEXT: ${{ toJson(github) }}
-      run: python "$GITHUB_WORKSPACE\tools\ci-scripts\upload_to_publish_server.py"
+      run: python "$GITHUB_WORKSPACE/tools/ci-scripts/upload_to_publish_server.py"