Clean up [ci skip]

4 weeks ago · bc066874dc
parent 067f8fd529
commit bc066874dc
1 changed files with 0 additions and 2 deletions
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@ -29,8 +29,6 @@ jobs:
           tar xf *-aarch64-none-elf.tar.xz
           wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07/binrel/gcc-arm-10.3-2021.07-x86_64-arm-none-eabi.tar.xz
           tar xf *-arm-none-eabi.tar.xz
-           # ls -lh ./circle-stdlib/install/aarch64-none-circle/include/stdint.h # For debugging (can be removed later)
-           find . -name 'stdint.h'
           mkdir -p kernels
    - name: Build for Raspberry Pi 5
      run: |