made it work on mobile I think · vprover/vampireGuide@187e7b3

Triggered via push January 30, 2026 09:50

jackeown

main

Status Success

Total duration 10m 6s

Artifacts 1

pages.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	20.2 MB	`sha256:a88c9488b4ae5be3f43a15b4531410c4d603ed375967068c6de48c85da874ab9`