Update stainless-nightly.yml

epfl-lara · Sep 5, 2024 · 2a78a0d · 2a78a0d
1 parent 1e816e6
commit 2a78a0d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/stainless-nightly.yml b/.github/workflows/stainless-nightly.yml
@@ -1,4 +1,4 @@
-name: Stainless CI
+name: Stainless Nightly
 on:
   schedule:
     - cron: '0 1 * * *'
@@ -28,4 +28,4 @@ jobs:
     - name: Build and Package
       run: ./stainless-ci.sh --build-only
     - name: Bolts Tests
-      run: ./stainless-ci.sh --skip-build --skip-tests --skip-sbt-plugin
+      run: ./stainless-ci.sh --skip-build --skip-tests --skip-sbt-plugin