Reverting to an old commit (I screwed up)

pull/443/head
donluca 2 years ago
parent c2deb77a43
commit e27a4eaffc
  1. 6
      .github/workflows/build.yml

@ -32,12 +32,6 @@ 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