Try to overcome sourceforge unavailability (#4513) #3052

Triggered via push November 10, 2025 15:39

main

Status Success

Total duration 11m 10s

Artifacts 1

pages.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	7.78 MB	`sha256:45668bcc4fd3a55cc0414598d2703d10890415b8015726b3fce4caac73764a24`