Push code update back to repo

.ci/update-source.sh

@@ -6,3 +6,10 @@ find . -type f -iname "*.a" -exec rm {} \;
 find . -type f -iname "*.o" -exec rm {} \;
 cd internal/source
 rm debug_* recompile_*
+cd ../..
+
+git config --local user.email "flukiluke@gmail.com"
+git config --local user.name "Autobuild Process"
+git add internal/source
+git commit -m "Update internal/source"
+

.github/workflows/build.yml

@@ -15,3 +15,12 @@ jobs:
       run: .ci/bootstrap.sh
     - name: Compile
       run: .ci/compile.sh
+    - name: Update source
+      if: github.event_name == 'push'
+      run: .ci/update-source.sh
+    - name: Push to repository
+      if: github.event_name == 'push'
+      uses: ad-m/github-push-action@19caa5c351f47734055690f7d01aaaef2f9114d5
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        branch: githubactions