add minor improvements #20

Triggered via push September 5, 2023 15:07

anuejn

main

Status Success

Total duration 43s

Artifacts 1

deploy_to_gh_pages.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	2.62 MB