chore(cicd): fix bug in specifying tag (#65)

* chore(cicd): fix bug in specifying tag

* chore(c): bootstrap benchmarks with base images

* perf: debuging collected benchmarks

* fix: typo

* fix: typo

* fix: use find to only find the directory name

.github/workflows/build.yml

@@ -50,7 +50,7 @@ jobs:
         id: make-build-info
         run: |
           echo "language=$(echo ${{ matrix.target }} | cut -d '/' -f 1 | tr '[:upper:]' '[:lower:]')" >> ${GITHUB_OUTPUT}
-          echo "project=$(echo ${{ matrix.target }} | cut -d '/' -f 2 )"
+          echo "project=$(echo ${{ matrix.target }} | cut -d '/' -f 2 )" >> ${GITHUB_OUTPUT}
 
       - uses: docker/setup-buildx-action@v3
       - uses: docker/build-push-action@v5

.github/workflows/check.yml

@@ -20,17 +20,19 @@ jobs:
         run: |
           bases=$(git diff --name-only --diff-filter=ACMR origin/${{ github.base_ref }} origin/${{ github.head_ref }} | grep -e "^OCaml-base/" -e "^Java-base/" -e "^C-base/" -e "^Solidity-base/" | cut -d '/' -f 1-2 | sort | uniq)
           {
-            for base in $base; do
+            for base in $bases; do
               base=$(echo $base | sed 's/-base//')
-              ls $base-*
+              find $base-* -maxdepth 0 -type d
             done
-          } > updated.txt
+          } > /tmp/updated.txt
+          cat /tmp/updated.txt
       - id: find-benchmark-updates
         run: |
-          git diff --name-only --diff-filter=ACMR origin/${{ github.base_ref }} origin/${{ github.head_ref }} | grep -e "^OCaml/" -e "^Java/" -e "^C/" -e "^Solidity/" | cut -d '/' -f 1-2 | sort | uniq >> updated.txt
+          git diff --name-only --diff-filter=ACMR origin/${{ github.base_ref }} origin/${{ github.head_ref }} | grep -e "^OCaml/" -e "^Java/" -e "^C/" -e "^Solidity/" | cut -d '/' -f 1-2 | sort | uniq >> /tmp/updated.txt
+          cat /tmp/updated.txt
       - id: find-targets
         run: |
-          targets=$(cat updated.txt | xargs -I{prj} echo \"{prj}\" | tr '\n' ',' | sed 's/,*$//')
+          targets=$(cat /tmp/updated.txt | xargs -I{prj} echo \"{prj}\" | tr '\n' ',' | sed 's/,*$//')
           echo $targets
           echo "targets=[$targets]" >> ${GITHUB_OUTPUT}
 

C-base/flex/Dockerfile

@@ -23,3 +23,4 @@ RUN git clone https://github.com/westes/flex.git buggy \
     && git checkout d3de49f84224b18c5287653f20525291b24cc26e \
     && ./autogen.sh \
     && ./configure
+

C-base/snort/Dockerfile

@@ -33,3 +33,4 @@ RUN mkdir -p buggy \
     && mv /tmp/src/util.h /workspace/buggy/src/util.h \
     && cd buggy \
     && ./configure
+