ci: remove bors things #167

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

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0
	ref: 'main'
	- name: Setup Node.js environment
	uses: actions/setup-node@v4
	with:
	node-version: 20.x
	- name: Setup Aya
	uses: aya-prover/setup-aya@latest
	- name: Setup pnpm for sane package management
	uses: pnpm/action-setup@v4
	- name: Build
	run: \|
	pnpm i
	pnpm build
	- name: Deploy to GitHub Pages
	env:
	GH_TOKEN: ${{ secrets.GH_TOKEN }}
	run: \|
	cp CNAME src/.vitepress/dist/
	cd src/.vitepress/dist
	git init
	git config user.email "[email protected]"
	git config user.name "owo-bot"
	git add *
	git commit -m "GitHub Actions Automated Deploy"
	git remote add origin "https://owo-bot:[email protected]/aya-prover/aya-prover.github.io.git"
	git branch -M main
	git push -f -u origin main

Provide feedback