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

fix: disable push of pull requests to ghcr.io

parent 32094ace
No related branches found
No related tags found
1 merge request!985fix: disable push of pull requests to ghcr.io
Pipeline #101299 canceled
Stage: status-pending
Stage: config
Stage: base
Stage: eic
Stage: deploy
Stage: benchmarks
Stage: finalize
Stage: status-report