Sync GitHub Pages

Use name instead of display name for log file name (#41) #90

Sign in to view logs

Triggered via push January 30, 2025 10:06

ErikRehmTT

i41_fix-logfile-name

Status Success

Total duration 42s

Artifacts –

sync-docs.yml

on: push

sync-documentation