Skip to content

Commit

Permalink
Add CI
Browse files Browse the repository at this point in the history
  • Loading branch information
augustss committed Nov 29, 2024
1 parent 1ffc5a2 commit 892024d
Showing 1 changed file with 37 additions and 0 deletions.
37 changes: 37 additions & 0 deletions .github/workflows/mhs-ci.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: mhs-ci

on:
push:
branches: [ "master" ]
pull_request:
branches: [ "master" ]

jobs:
build-mhs-pretty:
runs-on: ubuntu-latest
steps:

- name: checkout mhs repo
uses: actions/checkout@v4
with:
repository: augustss/MicroHs
ref: stable-3
path: mhs
- name: make and install mhs
run: |
cd mhs
make minstall
- name: checkout pretty repo
uses: actions/checkout@v4
with:
path: pretty
- name: compile and install pretty package
run: |
PATH="$HOME/.mcabal/bin:$PATH"
cd pretty
mcabal install
- name: cleanup
run: |
rm -rf $HOME/.mcabal

0 comments on commit 892024d

Please sign in to comment.