add minimal ci demo

.github/workflows/demo.yml

@@ -0,0 +1,63 @@
+##
+## Copyright (c) 2024 TUM Department of Electrical and Computer Engineering.
+##
+## This file is part of Seal5.
+## See https://github.com/tum-ei-eda/seal5.git for further info.
+##
+## Licensed under the Apache License, Version 2.0 (the "License");
+## you may not use this file except in compliance with the License.
+## You may obtain a copy of the License at
+##
+##     http://www.apache.org/licenses/LICENSE-2.0
+##
+## Unless required by applicable law or agreed to in writing, software
+## distributed under the License is distributed on an "AS IS" BASIS,
+## WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+## See the License for the specific language governing permissions and
+## limitations under the License.
+##
+
+# Seal5 demonstration (also serves as end-to-end testj
+name: Usage Demo
+
+on: [workflow_dispatch]
+# push:
+#   branches:
+#     - main
+# pull_request:
+#   branches:
+#     - main
+
+jobs:
+  demo:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: [3.8]
+    steps:
+    - uses: actions/checkout@v3
+      with:
+        submodules: recursive
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v4
+      with:
+        python-version: ${{ matrix.python-version }}
+    - name: Install APT packages
+      run: |
+        sudo apt -qq install -y python3-pip python3-venv cmake make ninja-build
+    - name: Initialize Virtualenv
+      run: |
+        python -m pip install --upgrade pip
+        python -m venv .venv
+    - name: Install dependencies
+      run: |
+        source .venv/bin/activate
+        pip install -r requirements.txt
+    - name: Run package creation
+      run: |
+        source .venv/bin/activate
+        pip install -e .
+    - name: Run the demo
+      run: |
+        source .venv/bin/activate
+        python examples.demo.py