Commit 5e9e9944 authored by Timo Koch's avatar Timo Koch
Browse files

Merge branch 'fix/clone-dumux-source-branch' into 'master'

[ci] clone dumux source branch

See merge request !149
parents 2913cdd5 a6dd7c31
Pipeline #5091 passed with stage
......@@ -28,9 +28,9 @@ select tests:
echo "Source branch: $DUMUX_MR_SOURCE_BRANCH"
echo "Target branch: $DUMUX_MR_TARGET_BRANCH"
git clone -b ${DUMUX_MR_TARGET_BRANCH} --depth 1 $DUMUX_REPO
git clone -b ${DUMUX_MR_SOURCE_BRANCH} --depth 1 $DUMUX_REPO
pushd dumux
git fetch --depth=1 origin ${DUMUX_MR_SOURCE_BRANCH}:${DUMUX_MR_SOURCE_BRANCH}
git fetch --depth=1 origin ${DUMUX_MR_TARGET_BRANCH}:${DUMUX_MR_TARGET_BRANCH}
popd
else
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment