Merge branch 'main' into improve_messaging

assume-framework · Nov 7, 2023 · 6a59d6c · 6a59d6c
2 parents 0cbb701 + 5834480
commit 6a59d6c
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 0 deletions.
diff --git a/.github/workflows/lint-pytest.yaml b/.github/workflows/lint-pytest.yaml
@@ -30,6 +30,10 @@ jobs:
         python-version: ${{ matrix.python-version }}
         cache: 'pip'
         cache-dependency-path: '**/pyproject.toml'
+    - name: Check reuse compliance
+      run: |
+        pip install reuse
+        reuse lint
     - name: Install dependencies
       run: |
         sudo apt-get update && sudo apt-get install --no-install-recommends -y coinor-cbc gcc g++ libglpk-dev glpk-utils && sudo rm -rf /var/lib/apt/lists/*

diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -3,6 +3,12 @@
 # SPDX-License-Identifier: AGPL-3.0-or-later
 
 repos:
+  - repo: https://github.com/fsfe/reuse-tool
+    rev: v2.1.0
+    hooks:
+      - id: reuse
+        args: ["annotate", "--license", "AGPL-3.0-or-later", "--recursive", "--copyright", "ASSUME Developers", "--exclude-year", "--skip-unrecognised", "."]
+
   - repo: https://github.com/pycqa/isort
     rev: 5.12.0
     hooks:

diff --git a/assume/common/exceptions.py b/assume/common/exceptions.py
@@ -2,6 +2,8 @@
 #
 # SPDX-License-Identifier: AGPL-3.0-or-later
 
+# Assume Exceptions
+
 
 class AssumeException(Exception):
     pass
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,6 +2,8 @@ @@
     #
     # SPDX-License-Identifier: AGPL-3.0-or-later
+    # Assume Exceptions
     class AssumeException(Exception):
         pass
@@ Expand Down @@