Commit 9801a265 authored by Jan Kiene's avatar Jan Kiene
Browse files

add remote and branch to pull command

parent 8af1e60b
Loading
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -1240,7 +1240,7 @@ test-long-self-test:

    ### switch to main
    - git checkout main
    - git pull
    - git pull origin main
    - echo "Building reference codec at commit $(git rev-parse HEAD)"

    ### build main (ref) binaries