Closed ivanperez-keera closed 1 month ago
Change Manager: Verified that:
Solution is implemented:
IfElse
, in which case it prints the message success:
FROM ubuntu:focal
RUN apt-get update
RUN apt-get install --yes git
SHELL ["/bin/bash", "-c"] CMD git clone $REPO \ && cd $NAME \ && git checkout $COMMIT \ && ! grep -niHre 'IfElse' --include='*.cabal' ogma** \ && echo "Success"
Command:
docker run -e "REPO=https://github.com/ivanperez-keera/ogma" -e "NAME=ogma" -e PAT="ogma-" -e "COMMIT=0db6542adbeeba654f4d011126a30a6adeeadb81" -it ogma-verify-150
Replace uses of definitions from
IfElse
with other functions frombase
, as prescribed in the solution proposed for #150.