Skip to content

Merge pull request #205 from valderman/mk-upd-0521-date #5

Merge pull request #205 from valderman/mk-upd-0521-date

Merge pull request #205 from valderman/mk-upd-0521-date #5

Workflow file for this run

name: pages
on:
push:
branches:
- master
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: haskell-actions/setup@v2
with:
ghc-version: '9.4'
- run: |
cd website
cat > BaseUrl.hs << EOHS
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
module BaseUrl where baseUrl = "https://valderman.github.io/selda/"
EOHS
cabal run
- uses: JamesIves/github-pages-deploy-action@v4
with:
folder: website/_site