Fix CI

.github/workflows/analyze.yml

@@ -0,0 +1,68 @@
+# Copyright 2022 ETH Zurich and University of Bologna.
+# Licensed under the Apache License, Version 2.0, see LICENSE for details.
+# SPDX-License-Identifier: Apache-2.0
+
+# Authors:
+# - Paul Scheffler <[email protected]>
+# - Thomas Benz <[email protected]>
+
+name: analyze
+
+on: [ push, pull_request, workflow_dispatch ]
+
+jobs:
+
+  analyze-contributors:
+    runs-on: ubuntu-latest
+    needs: lint
+    steps:
+    -
+      name: Checkout
+      uses: actions/checkout@v3
+    -
+      name: Install Python
+      uses: actions/setup-python@v4
+      with:
+          python-version: '3.9'
+          cache: 'pip'
+    -
+      name: Python Requirements
+      run: pip install -r requirements.txt
+    -
+      name: List contributors
+      run: scripts/list-contributors | tee contributions.txt
+    -
+      name: Upload contributions.txt
+      uses: actions/upload-artifact@v2
+      with:
+        name: contributions
+        path: contributions.txt
+        retention-days: 7
+
+  analyze-todos:
+    runs-on: ubuntu-latest
+    needs: lint
+    continue-on-error: true
+    steps:
+    -
+      name: Checkout
+      uses: actions/checkout@v3
+    -
+      name: Install Python
+      uses: actions/setup-python@v4
+      with:
+          python-version: '3.9'
+          cache: 'pip'
+    -
+      name: Python Requirements
+      run: pip install -r requirements.txt
+    -
+      name: List todos
+      run: scripts/list-todos | tee open_todos.txt
+    -
+      name: Upload todos.txt
+      uses: actions/upload-artifact@v2
+      with:
+        name: open_todos
+        path: open_todos.txt
+        retention-days: 7

.github/workflows/docs.yml

@@ -0,0 +1,75 @@
+# Copyright 2020 ETH Zurich and University of Bologna.
+# Licensed under the Apache License, Version 2.0, see LICENSE for details.
+# SPDX-License-Identifier: Apache-2.0
+
+# Author: Paul Scheffler <[email protected]>
+
+name: docs
+
+on: [ push, pull_request, workflow_dispatch ]
+
+jobs:
+
+  doc:
+    runs-on: ubuntu-22.04
+    steps:
+      -
+        name: Checkout
+        uses: actions/checkout@v3
+      -
+        name: Install Python
+        uses: actions/setup-python@v2
+        with:
+          python-version: 3.9
+          cache: pip
+      -
+        name: Install Python requirements
+        run: pip install -r requirements.txt
+      -
+        name: Setup Graphviz
+        uses: ts-graphviz/setup-graphviz@v1
+      -
+        name: Install RISC-V GCC toolchain
+        uses: pulp-platform/pulp-actions/riscv-gcc-install@v2
+        with:
+          distro: ubuntu-22.04
+          nightly-date: '2023.03.14'
+          target: riscv64-elf
+      -
+        name: Install Bender
+        uses: pulp-platform/pulp-actions/bender-install@v2
+        with:
+          version: 0.27.3
+      -
+        name: Install Morty
+        run: |
+          curl --proto '=https' --tlsv1.2 -sLO https://github.com/pulp-platform/morty/releases/download/v0.9.0/morty-ubuntu.22.04-x86_64.tar.gz
+          tar -xvf morty-ubuntu.22.04-x86_64.tar.gz morty
+          rm -f morty-ubuntu.22.04-x86_64.tar.gz
+          chmod 777 morty
+          echo "PATH=.:$PATH" >> ${GITHUB_ENV}
+      -
+        name: Build Doc
+        run: make idma_doc_all
+      -
+        name: Create publish docs
+        if: ${{ github.event_name == 'push' }}
+        uses: actions/upload-pages-artifact@main
+        with:
+          path: target/doc/html
+
+    deploy-pages:
+      needs: doc
+      permissions:
+        pages: write
+        id-token: write
+      environment:
+        name: github-pages
+        url: ${{ steps.deployment.output.page_url }}
+      runs-on: ubuntu-latest
+      if: ${{ github.event_name == 'push' }}
+      steps:
+        -
+          name: Deploy to Github Pages
+          id: deployment
+          uses: actions/deploy-pages@v1

.github/workflows/lint.yml

@@ -102,3 +102,27 @@ jobs:
         with:
           file_or_dir: Bender.yml src/db/*.yml
           config_file: .github/yamllint-conf.yml
+
+  lint-commit:
+    runs-on: ubuntu-latest
+    needs: [check-clean, check-stale]
+    steps:
+      -
+        uses: actions/checkout@v3
+        if: ${{ github.event_name == 'push' }}
+      -
+        uses: actions/checkout@v3
+        if: ${{ github.event_name == 'pull_request' }}
+        with:
+          ref: ${{ github.event.pull_request.head.sha }}
+      -
+        uses: actions/setup-python@v2
+        with:
+          python-version: '3.9'
+          cache: 'pip'
+      -
+        name: Python Requirements
+        run: python3 -m pip install -r requirements.txt
+      -
+        name: Lint commits
+        run: python3 util/lint-commits.py HEAD