another set of minor changes #7

Triggered via push October 26, 2023 15:28

main

Status Success

Total duration 45s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build-page.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	6.62 MB