minor formatting fix to mawsa · pan-webis-de/pan-webis-de.github.io@a443950

Triggered via push January 13, 2026 11:39

master

Status Success

Total duration 42s

Artifacts 1

build-pages.yaml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	83.1 MB	`sha256:c8c9e37ae3f616b8a750899e3572005d165cce404c0ad0a6390336680330fb98`