Update workflows

tsantalis · Feb 12, 2024 · e099329 · e099329
1 parent ee6d0c3
commit e099329
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 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
diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
@@ -5,7 +5,7 @@
 # This workflow will build a Java project with Gradle and cache/restore any dependencies to improve the workflow execution time
 # For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-java-with-gradle
 
-name: Java CI with Gradle
+name: Build Gradle Project
 
 on:
   push: