internal: use cc -O2 for native --release (#384) #159

	# moon: The build system and package manager for MoonBit.
	# Copyright (C) 2024 International Digital Economy Academy
	#
	# This program is free software: you can redistribute it and/or modify
	# it under the terms of the GNU Affero General Public License as published by
	# the Free Software Foundation, either version 3 of the License, or
	# (at your option) any later version.
	#
	# This program is distributed in the hope that it will be useful,
	# but WITHOUT ANY WARRANTY; without even the implied warranty of
	# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	# GNU Affero General Public License for more details.
	#
	# You should have received a copy of the GNU Affero General Public License
	# along with this program. If not, see <https://www.gnu.org/licenses/>.
	#
	# For inquiries, you can contact us via e-mail at [email protected].

	name: Deploy mdBook to GitHub Pages

	on:
	push:
	branches:
	- main

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Setup mdBook
	uses: peaceiris/actions-mdbook@v2
	with:
	mdbook-version: 'latest'
	- name: Build the book
	run: \|
	mdbook build docs/manual
	mdbook build docs/manual-zh
	mkdir -p docs/manual/book/zh
	cp -r docs/manual-zh/book/* docs/manual/book/zh

	- name: Deploy to GitHub Pages
	uses: peaceiris/actions-gh-pages@v4
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_branch: gh-pages
	publish_dir: ./docs/manual/book
	user_name: 'github-actions[bot]'
	user_email: 'github-actions[bot]@users.noreply.github.com'
	force_orphan: true

Provide feedback