From 88f2242af5c78561dee9d320cd6541b1e35d087a Mon Sep 17 00:00:00 2001 From: wyattgill9 <101477459+wyattgill9@users.noreply.github.com> Date: Sun, 19 Oct 2025 11:44:48 -0700 Subject: [PATCH 1/3] Added Github CI --- .github/ISSUE_TEMPLATE/bug_report.yml | 42 ++++++++++++++++++ .github/ISSUE_TEMPLATE/config.yml | 5 +++ .github/ISSUE_TEMPLATE/feature_request.md | 19 +++++++++ .github/workflows/CI.yml | 52 +++++++++++++++++++++++ 4 files changed, 118 insertions(+) create mode 100644 .github/ISSUE_TEMPLATE/bug_report.yml create mode 100644 .github/ISSUE_TEMPLATE/config.yml create mode 100644 .github/ISSUE_TEMPLATE/feature_request.md create mode 100644 .github/workflows/CI.yml diff --git a/.github/ISSUE_TEMPLATE/bug_report.yml b/.github/ISSUE_TEMPLATE/bug_report.yml new file mode 100644 index 0000000..9de14ff --- /dev/null +++ b/.github/ISSUE_TEMPLATE/bug_report.yml @@ -0,0 +1,42 @@ +name: Bug report +description: Create a report to help us improve. +body: + - type: markdown + attributes: + value: | + ### Bug Report + Note, your issue might have been already reported, please check [issues](https://github.com/HigherOrderCO/HVM3-Strict/issues). If you find a similar issue, respond with a reaction or any additional information that you feel may be helpful. + + ### For Windows Users + There is currently no native way to install HVM, as a temporary workaround, please use [WSL2](https://learn.microsoft.com/en-us/windows/wsl/install). + + - type: textarea + attributes: + label: Reproducing the behavior + description: A clear and concise description of what the bug is. + value: | + Example: + Running command... + With code.... + Error... + Expected behavior.... + validations: + required: true + + - type: textarea + attributes: + label: System Settings + description: Your System's settings + value: | + Example: + - OS: [e.g. Linux (Ubuntu 22.04)] + - CPU: [e.g. Intel i9-14900KF] + - GPU: [e.g. RTX 4090] + - Cuda Version [e.g. release 12.4, V12.4.131] + validations: + required: true + - type: textarea + attributes: + label: Additional context + description: Add any other context about the problem here (Optional). + diff --git a/.github/ISSUE_TEMPLATE/config.yml b/.github/ISSUE_TEMPLATE/config.yml new file mode 100644 index 0000000..7b8a576 --- /dev/null +++ b/.github/ISSUE_TEMPLATE/config.yml @@ -0,0 +1,5 @@ +blank_issues_enabled: false +contact_links: + - name: Bend2 Related Issues + url: https://github.com/HigherOrderCO/Bend2/issues/new/choose + about: For Bend2 related Issues, please Report them on the Bend2 repository. diff --git a/.github/ISSUE_TEMPLATE/feature_request.md b/.github/ISSUE_TEMPLATE/feature_request.md new file mode 100644 index 0000000..de5c539 --- /dev/null +++ b/.github/ISSUE_TEMPLATE/feature_request.md @@ -0,0 +1,19 @@ +--- +name: Feature request +about: Suggest a feature that you think should be added. +title: '' +labels: '' + +--- + +**Is your feature request related to a problem? Please describe.** +A clear and concise description of what the problem is. Ex. I'm frustrated when [...] + +**Describe the solution you'd like** +A clear and concise description of what you want to happen. + +**Describe alternatives you've considered** +A clear and concise description of any alternative solutions or features you've considered. + +**Additional context** +Add any other context or screenshots about the feature request here. diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml new file mode 100644 index 0000000..a75a192 --- /dev/null +++ b/.github/workflows/CI.yml @@ -0,0 +1,52 @@ +name: Bend2 CI +on: + push: + branches: [ main ] + pull_request: + branches: [ main ] +jobs: + bend2-pipeline: + name: Bend2 CI (${{ matrix.os }}) + runs-on: ${{ matrix.os }} + strategy: + fail-fast: false + matrix: + os: [macos-latest] + + steps: + - name: Checkout repository + uses: actions/checkout@v3 + + - name: Set up GHC and Cabal + uses: haskell-actions/setup@v2 + id: setup-haskell + with: + ghc-version: '9.10.1' # first version with GHC2024 support + cabal-version: '3.10' + + - name: Update Cabal package list + run: cabal update + + - name: Install system dependencies + run: | + if [ "${{ matrix.os }}" == "macos-latest" ]; then + brew install libffi + fi + shell: bash + + - name: Cache Cabal packages + uses: actions/cache@v3 + with: + path: | + ${{ steps.setup-haskell.outputs.cabal-store }} + ~/.cabal/packages + ~/.cabal/store + key: ${{ runner.os }}-cabal-${{ hashFiles('**/*.cabal', 'cabal.project*') }} + restore-keys: | + ${{ runner.os }}-cabal- + + - name: Build dependencies + run: cabal build --only-dependencies + + - name: Build the project + run: cabal build From 9834f880e5d43cbc4c452400ac18c113690a086b Mon Sep 17 00:00:00 2001 From: wyattgill9 <101477459+wyattgill9@users.noreply.github.com> Date: Sun, 19 Oct 2025 11:58:21 -0700 Subject: [PATCH 2/3] cabal versioning bump --- .github/workflows/CI.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index a75a192..a298cf3 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -21,8 +21,8 @@ jobs: uses: haskell-actions/setup@v2 id: setup-haskell with: - ghc-version: '9.10.1' # first version with GHC2024 support - cabal-version: '3.10' + ghc-version: '9.12.2' + cabal-version: '3.16' - name: Update Cabal package list run: cabal update From acd584d3485fe030878af6907fc0d37efda3978a Mon Sep 17 00:00:00 2001 From: wyattgill9 <101477459+wyattgill9@users.noreply.github.com> Date: Tue, 11 Nov 2025 08:35:16 -0800 Subject: [PATCH 3/3] cabal test in CI --- .github/workflows/CI.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index a298cf3..693da0c 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -50,3 +50,6 @@ jobs: - name: Build the project run: cabal build + + - name: Test the project + run: cabal test