Skip to content
Snippets Groups Projects

fix: push merge requests to ghcr.io again

Merged fix: push merge requests to ghcr.io again
unstable-mr-ghcr.io into master
Merged Wouter Deconinck requested to merge unstable-mr-ghcr.io into master
Status
Pipeline
Created by
Stages
Canceled

00:38:22

avatar
Stage: status-pending
Stage: config
Stage: base
Stage: eic
Stage: benchmarks
Stage: finalize
Stage: status-report
Pipeline: detector_benchmarks

#101548

    Pipeline: reconstruction_benchmarks

    #101552

      Pipeline: reconstruction_benchmarks

      #101553

        +3
        Download artifacts

        No artifacts found