Deno

add deploy files #30

	# This workflow uses actions that are not certified by GitHub.
	# They are provided by a third-party and are governed by
	# separate terms of service, privacy policy, and support
	# documentation.

	# This workflow will install Deno then run `deno lint` and `deno test`.
	# For more information see: https://github.com/denoland/setup-deno

	name: Deno

	on:
	push:
	branches: ["main"]
	pull_request:
	branches: ["main"]
	workflow_dispatch:

	permissions:
	contents: write

	jobs:
	test:
	runs-on: ubuntu-latest

	steps:
	- name: Setup repo
	uses: actions/checkout@v3

	- name: Setup Deno
	# uses: denoland/setup-deno@v1
	uses: denoland/setup-deno@9db7f66e8e16b5699a514448ce994936c63f0d54
	with:
	deno-version: v1.x

	- name: Install tools
	run: sudo apt update && sudo apt install nasm gcc gcc-riscv64-linux-gnu -y

	- name: Run test
	run: make

	- name: Build explorer
	run: \|
	cd src/explorer
	bash build.sh

	- name: Deploy
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./src/explorer
	publish_branch: gh-pages

Provide feedback