merge for publish

Kwangjin Leerequested to merge
main into publish
  • /build-page.sh
  • /.gitlab-ci.yml

Merge request reports