From 6840711b6412178ac57d3dded64866438c32e247 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Javier=20Cha=CC=81varri?= Date: Mon, 18 May 2020 20:50:05 +0200 Subject: [PATCH] remove tmp branch --- .github/workflows/workflow.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 253e2ab..eafac15 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -19,9 +19,8 @@ jobs: - name: Checkout BuckleScript repo uses: actions/checkout@v2 with: - repository: jchavarri/bucklescript # temporary, until https://github.com/BuckleScript/bucklescript/pull/4395 is merged + repository: bucklescript/bucklescript path: bucklescript - ref: 'fix-jsoo-remt' # temporary, until https://github.com/BuckleScript/bucklescript/pull/4395 is merged - run: git submodule update --init && ./scripts/buildocaml.js working-directory: bucklescript