Merge branch 'main' into permks-8

2022-03-30 14:58:13 +05:30
parent ceada66602 f3e1756d97
commit 91969e66ba
123 changed files with 546 additions and 195 deletions
@@ -15,14 +15,14 @@ jobs:
    runs-on: ubuntu-latest

    steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
    - uses: actions/setup-haskell@v1
      with:
        ghc-version: '8.10.3'
        cabal-version: '3.2'

    - name: Cache
-      uses: actions/cache@v1
+      uses: actions/cache@v3
      env:
        cache-name: cache-cabal
      with: