Merge branch 'master' into fix_5048

dafny-lang · Feb 9, 2024 · 6c84ec9 · 6c84ec9
2 parents c0878e6 + 693baaf
commit 6c84ec9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/jekyll.yml b/.github/workflows/jekyll.yml
@@ -29,7 +29,7 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
       - name: Setup Ruby
-        uses: ruby/setup-ruby@1
+        uses: ruby/setup-ruby@v1
         with:
           ruby-version: '3.1' # Not needed with a .ruby-version file
           bundler-cache: true # runs 'bundle install' and caches installed gems automatically