Skip to content
linter

chore: set docker.enterprisedb.com as the default registry #547

Sign in to view logs

chore: set docker.enterprisedb.com as the default registry

chore: set docker.enterprisedb.com as the default registry #547

Triggered via push November 5, 2024 12:00
@NiccoloFeiNiccoloFei
pushed ec93b0f
dev/5528
Status Success
Total duration 22s
Artifacts –

lint.yml

on: push
linter
14s
linter
Fit to window
Zoom out
Zoom in