Add chef and git roles to idris

[chef.git] / .github / workflows / cookstyle.yml

diff --git a/.github/workflows/cookstyle.yml b/.github/workflows/cookstyle.yml
index f1f0d3c0bfa5981fbc8cf5e81cb54dbe67f110ea..43494fc14d9dd6f4e8ae5ef4af5e2727a26436cb 100644 (file)
--- a/.github/workflows/cookstyle.yml
+++ b/.github/workflows/cookstyle.yml
@@ -1,27 +1,23 @@
 name: Cookstyle
+
 on:
   - push
   - pull_request
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   cookstyle:
     name: Cookstyle
     runs-on: ubuntu-latest
     steps:
     - name: Check out code
-      uses: actions/checkout@v2.3.5
+      uses: actions/checkout@v3
     - name: Setup ruby
-      uses: actions/setup-ruby@v1.1.3
-    - name: Cache gems
-      uses: actions/cache@v2.1.6
+      uses: ruby/setup-ruby@v1
       with:
-        path: vendor/bundle
-        key: bundle-${{ runner.OS }}-${{ hashFiles('Gemfile.lock') }}
-        restore-keys: |
-          bundle-${{ runner.OS }}-
-    - name: Install gems
-      run: |
-        gem install bundler
-        bundle config set deployment true
-        bundle install --jobs 4 --retry 3
+        bundler-cache: true
     - name: Run cookstyle
       run: bundle exec cookstyle --format fuubar