From cd93e55e80a70cf4667d044d73e5589443369314 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Thu, 16 Jan 2020 20:25:54 +0100 Subject: [PATCH] try mdr --- .github/worflows/build.yml | 25 +++++++++++++++++++++++++ .gitignore | 6 ------ 2 files changed, 25 insertions(+), 6 deletions(-) create mode 100644 .github/worflows/build.yml diff --git a/.github/worflows/build.yml b/.github/worflows/build.yml new file mode 100644 index 00000000..bfc6e78e --- /dev/null +++ b/.github/worflows/build.yml @@ -0,0 +1,25 @@ +name: CI + +on: [push] + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v1 + - name: Mdr + run: | + git checkout https://github.com/fennecdjay/mdr + cd mdr + cabal update + cabal install --only-dependencies + cabal configure --enable-tests + cabal build + cabal install + - name: try mdr + run: | + echo Add other actions to build, + echo test, and deploy your project. + mdr README.mdr diff --git a/.gitignore b/.gitignore index 45fa9f38..a01c9af2 100644 --- a/.gitignore +++ b/.gitignore @@ -1,10 +1,4 @@ md book -.d/ -ast/ -config.mk -libgwion.a log -plug/ -util/ *.gw -- 2.43.0