update page #67

	name: update page

	on:
	workflow_dispatch:
	push:
	branches:
	- master # restrict to master branch in order to avoid infinite loop
	schedule:
	- cron: "0 0 * * *"

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	ref: master
	fetch-depth: 0
	- name: clone kernel
	uses: actions/checkout@v4
	with:
	repository: torvalds/linux
	path: linux
	fetch-depth: 0
	- uses: actions/setup-python@v2
	with:
	python-version: "3.11"
	- run: pip install GitPython requests tqdm
	- run: python3 ./linux-statistic.py --path ./linux
	- name: Commit changes to gh-pages and push
	run: \|
	git checkout --orphan tmp
	git rm --cached -rf .
	rm .gitignore
	echo "edurank.hust.college" > CNAME
	git config --global user.name 'github-actions[bot]'
	git config --global user.email 'github-actions[bot]@users.noreply.github.com'
	git add CNAME index.html result.json detail/
	git commit -m "ci[bot]: update page automatically"
	git push -f origin tmp:gh-pages

Provide feedback