Create kernels directory

pull/868/head
probonopd 4 weeks ago committed by GitHub
parent 821c21eace
commit dc7c9933a5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 2
      .github/workflows/build.yml

@ -21,6 +21,8 @@ jobs:
- uses: actions/checkout@v2
- name: Get specific commits of git submodules
run: sh -ex ./submod.sh
- name: Create kernels directory
run: mkdir -p kernels/
- name: Put git hash in startup message
run: |
sed -i "s/Loading.../$(date +%Y%m%d)-$(git rev-parse --short HEAD)/g" src/userinterface.cpp

Loading…
Cancel
Save