Commit a6a79502 authored by Jan Kiene's avatar Jan Kiene
Browse files

Merge branch 'main' into unify-complexity-measurements

parents 04728467 6be4f848

main-basop.yml

+3 −1
Original line number Diff line number Diff line
@@ -284,7 +284,8 @@ workflow: 
    - else

    -    testcase_timeout=$TESTCASE_TIMEOUT_STV

    - fi

    - FLOAT_REF_COMMIT=$(cat "$FLOAT_REF_COMMIT_FILE")



    # comes as env var from pytest-to-ref-pre job

    - echo "FLOAT_REF_COMMIT=$FLOAT_REF_COMMIT"



    - if [ $LEVEL_SCALING != "1.0" ]; then
@@ -939,6 +940,7 @@ pytest-to-ref-pre: 
    - FLOAT_REF_COMMIT="$(git rev-parse "origin/main")"

    - popd

    - echo "$FLOAT_REF_COMMIT" > $FLOAT_REF_COMMIT_FILE

    - echo "FLOAT_REF_COMMIT=$FLOAT_REF_COMMIT" >>commits.env

  artifacts:

    paths:

      - $FLOAT_REF_COMMIT_FILE