Update build.yml

pull/443/head
donluca 2 years ago committed by GitHub
parent cd548981c6
commit 46bd334daf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 6
      .github/workflows/build.yml

@ -32,6 +32,12 @@ jobs:
cd circle-stdlib/libs/circle-newlib
git checkout 48bf91d # needed for circle ec09d7e
cd -
- name: Change Synth_Dexed branch to enable selection of Engine Types
run: |
set -ex
cd Synth_Dexed/
git checkout 58a307971e
cd -
- name: Install toolchains
run: |
set -ex

Loading…
Cancel
Save