File tree Expand file tree Collapse file tree 3 files changed +20
-1
lines changed
Expand file tree Collapse file tree 3 files changed +20
-1
lines changed Original file line number Diff line number Diff line change 2828 git clone https://github.com/smelc/exdown
2929 EXDOWN=exdown/exdown.py ./extract_hs.sh
3030
31+ - name : Check versioned Course*.hs files are up to date
32+ working-directory : slides
33+ run : |
34+ ./check_golden_diff.sh
35+
3136 - name : Set up GHC ${{ matrix.ghc-version }}
3237 uses : haskell-actions/setup@v2
3338 id : setup
Original file line number Diff line number Diff line change @@ -125,6 +125,6 @@ data Authenticated
125125-- @type@ defines aliases (shortcuts)
126126type UserWithAuthStatus a = User
127127
128- authenticate' :: User -> String -> UserWithAuthStatus Authenticated
128+ authenticate' :: User -> String -> Either String ( UserWithAuthStatus Authenticated )
129129authenticate' = undefined
130130
Original file line number Diff line number Diff line change 1+ #! /usr/bin/env bash
2+ #
3+ # Verify that Course*.hs files do not have git modification.
4+ # Probably you want to execute this file after 'extract_hs.sh'
5+
6+ for file in Course* .hs
7+ do
8+ # Check if there is any modification to file
9+ if ! git diff --exit-code " $file "
10+ then
11+ echo " $file is modified. Please run extract_hs.sh and commit the changes."
12+ exit 1
13+ fi
14+ done
You can’t perform that action at this time.
0 commit comments