Index & mirror changed ports

postgresql18-server: update to 18.1 #6457

Sign in to view logs

Triggered via push December 9, 2025 22:55

reneeotten

master

Status Success

Total duration 37m 16s

Artifacts –

mirror.yml

on: push

delete-cancelled-runs

Index and mirror