File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -75,23 +75,13 @@ jobs:
7575 run : |
7676 if [ ! -f $HOME/.local/bin/markdown-doctest ]; then
7777 mkdir -p $HOME/.local/bin
78- mkdir md-tmp
79- cp cabal.project.markdown-doctest md-tmp/
80- mv cabal.project cabal.project.tmp
81- cd md-tmp
82- echo "ghc version"
83- ghc --version
84- echo "which ghc"
85- which ghc
86- echo "path: $PATH"
8778 echo "----------------------------------------------------------------"
8879 echo "Build markdown-doctest"
8980 echo "----------------------------------------------------------------"
9081 echo
9182 cabal install markdown-doctest --project-file=cabal.project.markdown-doctest --installdir=$HOME/.local/bin --overwrite-policy=always
92- cd ..
93- mv cabal.project.tmp cabal.project
9483 fi
84+
9585 echo "----------------------------------------------------------------"
9686 echo "Build streamly commit: $(git rev-parse HEAD)"
9787 echo "----------------------------------------------------------------"
You can’t perform that action at this time.
0 commit comments