Merge branch 'master' into rule-induction-sorting

vprover · Mar 12, 2024 · b97f6d3 · b97f6d3
2 parents bb662a0 + 46c9403
commit b97f6d3
Show file tree

Hide file tree

Showing 59 changed files with 829 additions and 4,173 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -9,7 +9,7 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
     - name: Checkout Tree
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
       with:
         submodules: true
     - name: Check Copyright Headers