From 82f94c6c1c4337983c7eb0329cd8771f0ac66f04 Mon Sep 17 00:00:00 2001
From: christophkloeffel <christoph.kloeffel@accenture.com>
Date: Wed, 10 Apr 2024 17:21:52 +0200
Subject: [PATCH] updates Node.js actions from node 16 to 20

---
 .github/workflows/ci.yml   | 18 ++++++++----------
 .github/workflows/docs.yml | 12 ++++++------
 Makefile                   | 15 +++++++--------
 3 files changed, 21 insertions(+), 24 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index bf2aecb5..0ec3d17c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,28 +10,26 @@ permissions:
   contents: read
 
 jobs:
-
   lint:
     name: PyLint
     runs-on: ubuntu-20.04
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Set up Python 3.9
-        uses: actions/setup-python@v3
+        uses: actions/setup-python@v5
         with:
           python-version: "3.9"
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          pip install pylint pycodestyle
-          pip install --no-deps bmw-lobster-core bmw-lobster-tool-trlc
+          python -m pip install pylint pycodestyle
+          python -m pip install --no-deps bmw-lobster-core bmw-lobster-tool-trlc
       - name: Style check
         run: |
           make style
       - name: Lint
         run: |
           make lint -o style
-
   test:
     name: Test
     strategy:
@@ -39,20 +37,20 @@ jobs:
         py-version: ["3.8", "3.9", "3.10", "3.11"]
     runs-on: ubuntu-20.04
     steps:
-      - uses: actions/checkout@v3
-      - uses: supplypike/setup-bin@v3
+      - uses: actions/checkout@v4
+      - uses: supplypike/setup-bin@v4
         with:
           uri: 'https://github.com/cvc5/cvc5/releases/download/cvc5-1.0.8/cvc5-Linux'
           name: 'cvc5'
           version: '1.0.8'
       - name: Set up Python ${{ matrix.py-version }}
-        uses: actions/setup-python@v3
+        uses: actions/setup-python@v5
         with:
           python-version: ${{ matrix.py-version }}
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          pip install -r requirements.txt
+          python -m pip install -r requirements.txt
       - name: Executing system tests
         run: |
           make system-tests
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 3bcd84be..f1e2f01d 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -29,16 +29,16 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
-      - uses: supplypike/setup-bin@v3
+      - uses: supplypike/setup-bin@v4
         with:
           uri: 'https://github.com/cvc5/cvc5/releases/download/cvc5-1.0.8/cvc5-Linux'
           name: 'cvc5'
           version: '1.0.8'
       - name: Set up Python 3.9
-        uses: actions/setup-python@v3
+        uses: actions/setup-python@v5
         with:
           python-version: "3.9"
       - name: Install dependencies
@@ -66,11 +66,11 @@ jobs:
           post_compile: |
             mv linter.pdf ../docs
       - name: Setup Pages
-        uses: actions/configure-pages@v3
+        uses: actions/configure-pages@v5
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v2
+        uses: actions/upload-pages-artifact@v3
         with:
           path: 'docs'
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v4
diff --git a/Makefile b/Makefile
index d7f21fe0..4934f62c 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,6 @@
 lint: style
 	@python3 -m pylint --rcfile=pylint3.cfg \
 		--reports=no \
-		--score=no \
 		trlc trlc*.py lobster-*.py
 
 style:
@@ -60,23 +59,23 @@ package:
 	@python3 setup.py sdist bdist_wheel
 	@python3 setup.py bdist_wheel -p manylinux2014_x86_64
 
-upload_main: package
+upload-main: package
 	python3 -m twine upload --repository pypi dist/*
 
-remove_dev:
+remove-dev:
 	python3 -m util.release
 
-github_release:
+github-release:
 	git push
-	python3 -m util.github_release
+	python3 -m util.github-release
 
 bump:
 	python3 -m util.bump_version_post_release
 
-full_release:
-	make remove_dev
+full-release:
+	make remove-dev
 	git push
-	make github_release
+	make github-release
 	make bump
 	git push