some bug fixes and better instructions

This commit is contained in:
Oliver Bell committed 2025-01-06 22:27:47 +00:00
1 parent 52fca55b6c
commit 78ade1816b
5 files changed
+14 -7

No files matched your search

-2
View File
@@ -123,8 +123,6 @@ jobs:
- name: Checkout
if: ${{ github.event_name == 'push' }}
uses: actions/checkout@master
- run: find tools/_shared
- name: Install tools
run: |