Put git hash in startup message

5 days ago · bf3a93b773
parent f7e7556b45
commit bf3a93b773
1 changed files with 2 additions and 0 deletions
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@ -21,6 +21,8 @@ jobs:
           sh -ex ./submod.sh
    - name: Apply patches
      run: |
+           # Put git hash in startup message
+           sed -i "s/Loading.../$(git rev-parse --short=7 HEAD)/g" src/userinterface.c
           # https://github.com/rsta2/circle/discussions/427#discussioncomment-11198505
           sed -i -e 's|TTLShort = 120|TTLShort = 15|g' circle-stdlib/libs/circle/include/circle/net/mdnspublisher.h
    - name: Install toolchains