Publish to Github pages

install page: fix the displaying of double dashes #91

Sign in to view logs

Triggered via push June 30, 2023 04:43

FriedrichAltheide

staging

Status Success

Total duration 43s

Artifacts –

publishGithubPages.yml

on: push