Skip to content

Commit

Permalink
new CI workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
Kaushik Chakraborty committed Jul 25, 2022
1 parent 0e7d12f commit 299b41c
Show file tree
Hide file tree
Showing 5 changed files with 359 additions and 74 deletions.
11 changes: 11 additions & 0 deletions .github/dependabot.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
version: 2
updates:
- package-ecosystem: "github-actions"
directory: "/"
schedule:
interval: "daily"
commit-message:
prefix: "GA"
include: "scope"
labels:
- "CI"
47 changes: 47 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
name: CI Workflow
on:
push:
branches:
- "develop"
jobs:
ci:
runs-on: ubuntu-latest
strategy:
matrix:
ghc:
- 8.10.2
cabal:
- 3.4.0.0

steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- uses: haskell/actions/setup@v2
with:
ghc-version: ${{ matrix.ghc }}
cabal-version: ${{ matrix.cabal }}
- name: "cache setup"
uses: actions/cache@v3
with:
path: |
~/.cabal/packages
~/.cabal/store
dist-newstyle
key: ${{ runner.os }}-${{ matrix.ghc }}-${{ hashFiles('**/*.cabal', '**/cabal.project', '**/cabal.project.freeze') }}
restore-keys: ${{ runner.os }}-${{ matrix.ghc }}
- name: "build deps"
run: cabal build --only-dependencies
- name: "build site"
run: |
cabal build
cabal exec site build
- name: "deploy"
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/develop' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publis_dir: ./static
publish_branch: master

73 changes: 0 additions & 73 deletions .github/workflows/main.yml

This file was deleted.

1 change: 0 additions & 1 deletion .gitignore
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
_site
_cache
.*
!/.gitignore
!.circleci/
*.out
Expand Down
Loading

0 comments on commit 299b41c

Please sign in to comment.