Skip to content

Merge branch 'main' of github.com:wintered/ET #1

Merge branch 'main' of github.com:wintered/ET

Merge branch 'main' of github.com:wintered/ET #1

Workflow file for this run

name: Python & Haskell CI
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Install Python dependencies
run: |
sudo apt-get update
sudo apt-get install -y python3 python3-pip
pip3 install -r requirements.txt
- name: Install GHC and Cabal
run: |
sudo apt-get install -y ghc cabal-install
cabal update
- name: Install Haskell packages
run: |
cabal install testing-feat
cabal install size-based
- name: Run Python tests
run: pytest