Skip to content
Snippets Groups Projects
Commit 091b1d14 authored by Wouter Deconinck's avatar Wouter Deconinck
Browse files

(hot)fix: deal with git.<hash>=main issues

parent 7a52a646
Branches
Tags
1 merge request!915(hot)fix: deal with git.<hash>=main issues
Pipeline #93063 passed with warnings
Stage: status-pending
Stage: config
Stage: base
Stage: jug
Stage: deploy
Stage: benchmarks
Stage: finalize
Stage: status-report
Pipeline: detector_benchmarks

#93089

    Pipeline: detector_benchmarks

    #93077