File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 7171 # XXX update only if not present
7272 cabal update
7373
74- # - name: Create env files for ghci
75- # run: cabal build streamly --write-ghc-environment-files=always
76- #
7774 - name : Run markdown-doctest
7875 run : |
7976 if [ ! -f $HOME/.local/bin/markdown-doctest ]; then
@@ -87,11 +84,24 @@ jobs:
8784 echo "which ghc"
8885 which ghc
8986 echo "path: $PATH"
87+ echo "----------------------------------------------------------------"
88+ echo "Build markdown-doctest"
89+ echo "----------------------------------------------------------------"
90+ echo
9091 cabal install markdown-doctest --project-file=cabal.project.markdown-doctest --installdir=$HOME/.local/bin --overwrite-policy=always
9192 cd ..
9293 mv cabal.project.tmp cabal.project
9394 fi
94- echo "Commit: $(git rev-parse HEAD)"
95+ echo "----------------------------------------------------------------"
96+ echo "Build streamly commit: $(git rev-parse HEAD)"
97+ echo "----------------------------------------------------------------"
98+ echo
99+ cabal build streamly --write-ghc-environment-files=always
100+
101+ echo "----------------------------------------------------------------"
102+ echo "Run markdown-doctest"
103+ echo "----------------------------------------------------------------"
104+ echo
95105 find ./docs ./core/docs -type f -name "*.md" -print0 | while IFS= read -r -d '' file; do
96106 echo "CMD: markdown-doctest $file" && markdown-doctest "$file" || exit 1
97107 done
You can’t perform that action at this time.
0 commit comments