Publish web

Merge branch 'dev-github-actions' into src. Close #54. #1

Triggered via push December 10, 2023 14:00

src

Status Success

Total duration 41s

Artifacts 1

publish.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	350 KB