Embed commit ID in commit log

Author: k-takata

.github/workflows/generate.yml

@@ -39,6 +39,10 @@ jobs:
           vim -eu tools/maketags.vim
 
           cd ..
+      - name: Check commit ID
+        id: commitid
+        run: |
+          echo "id=$(git -C work rev-parse HEAD)" >> $GITHUB_OUTPUT
       - name: Update target
         run: |
           cd target
@@ -61,6 +65,9 @@ jobs:
 
             https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}
 
+            Used commit:
+            https://github.com/${{ github.repository }}/commit/${{ steps.commitid.outputs.id }}
+
   deploy:
     runs-on: ubuntu-latest
     needs: generate
@@ -97,6 +104,10 @@ jobs:
           make html
 
           cd ..
+      - name: Check commit ID
+        id: commitid
+        run: |
+          echo "id=$(git -C work rev-parse HEAD)" >> $GITHUB_OUTPUT
       - name: Update target
         run: |
           cd target
@@ -116,3 +127,6 @@ jobs:
             Generated by GitHub workflow ${{ github.run_id }}
 
             https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}
+
+            Used commit:
+            https://github.com/${{ github.repository }}/commit/${{ steps.commitid.outputs.id }}