Skip to content
Snippets Groups Projects

build_detector.sh: enable fetching by git SHA

Merged build_detector.sh: enable fetching by git SHA
pr/fetchgit into master
All threads resolved!
Merged Dmitry Kalinkin requested to merge pr/fetchgit into master
All threads resolved!

This is needed to enable testing merge-commit state from GitHub triggers: https://github.com/eic/epic/pull/751

Closes: !85 (closed)

Edited by Dmitry Kalinkin

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Dmitry Kalinkin added 1 commit

    added 1 commit

    • 98816717 - explicitly hide DEPLOY_TOKEN

    Compare with previous version

  • Dmitry Kalinkin resolved all threads

    resolved all threads

  • Wouter Deconinck approved this merge request

    approved this merge request

  • Dmitry Kalinkin enabled an automatic merge when the pipeline for 98816717 succeeds

    enabled an automatic merge when the pipeline for 98816717 succeeds

  • Dmitry Kalinkin changed the description

    changed the description

  • Dmitry Kalinkin
    Dmitry Kalinkin @veprbl
    Author Maintainer

    Builds epic benchmarks, DII ones were broken before.

  • Dmitry Kalinkin merged

    merged

    • Please register or sign in to reply