Commit a5efd90b authored by Benoit Lavenier's avatar Benoit Lavenier

Remove broken pipeline

parent ec02ec21
Pipeline #4216 failed
stages:
- github-sync
# - github-sync
push_to_github:
stage: github-sync
......
......@@ -27,7 +27,7 @@ fi
echo "**********************************"
echo "* Uploading artifacts to Github..."
echo "**********************************"
cd $dirname/target/checkout
cd target/checkout
./github.sh pre
if [ $? -ne 0 ]; then
exit 1
......
Markdown is supported
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