Add commit hash to benchmark document

.github/workflows/benchmark.yaml

@@ -11,7 +11,7 @@ jobs:
     - name: take benchmarks
       run: |
         mkdir -p document
-        ./benchmark/gendoc.sh | tee document/Benchmarks.md
+        ./benchmark/gendoc.sh ${{ github.event.issue.number }} | tee document/Benchmarks.md
     - name: upload to wiki
       uses: SwiftDocOrg/github-wiki-publish-action@v1
       with:

benchmark/gendoc.sh

@@ -1,5 +1,6 @@
 #!/bin/bash
 
+COMMIT="$1"
 TARGETS="i386-linux-handwritten c python"
 TIMEFORMAT='%U'
 CPU_MODEL=`cat /proc/cpuinfo | grep -m1 'model name' | cut -d: -f2 | sed "s/^ *//g"`
@@ -35,6 +36,7 @@ function generate-table {
 
 echo "# Environment"
 echo
+echo "- Commit: $COMMIT"
 echo "- $CPU_MODEL"
 echo "- $MEM_SIZE"
 echo "- $UNAME"