Index & mirror changed ports

logtalk: update to 3.96.0 #5809

Sign in to view logs

Triggered via push November 18, 2025 19:42

herbygillot

master

Status Success

Total duration 29m 14s

Artifacts –

mirror.yml

on: push

delete-cancelled-runs

Index and mirror