Add Benchmark workflow

tsantalis · Feb 12, 2024 · 319089b · 319089b
1 parent 65e4df0
commit 319089b
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
@@ -41,15 +41,11 @@ jobs:
 
       - name: Zip directory
         run: |
-          zip Stats.zip DiffBenchmark/out/oracle/
+          zip -r Stats.zip DiffBenchmark/out/oracle/
 
-      - name: Put current date into a variable
-        run: |
-          $NOW=& Get-Date -format yyyy-MM-dd
-          echo "NOW=$NOW" >> $env:GITHUB_ENV
 
       - name: Upload artifact
         uses: actions/upload-artifact@v2
         with:
-          name: stats.zip
+          name: Stats
           path: Stats.zip