.proptest_tpl:
  stage: fuzzing
  variables:
    ENABLE_CACHE: "1"
    TARGET: "x86_64-unknown-linux-gnu"
    PROPTEST_VERBOSE: "1"
    PROPTEST_CASES: "10000"
  dependencies:
    - x86_64-unknown-linux-gnu
  script:
    - cargo test --target=$TARGET -- --ignored
  artifacts:
    when: on_failure
    paths:
      - proptest-regressions
  cache:
    key: proptest
    paths:
      - proptest-regressions

proptest:
  extends: .proptest_tpl
  only:
    - tags
    - master
    - /^v[0-9]+\.[0-9]+$/

proptest_manual:
  extends: .proptest_tpl
  when: manual
  except:
    - tags
    - master
    - /^v[0-9]+\.[0-9]+$/