Update PyTorch #46

	name: Update PyTorch

	on:
	schedule:
	- cron: "50 4 * * *"

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Checkout gh-pages
	uses: actions/checkout@v4
	with:
	ref: 'gh-pages'
	path: 'gh-pages'

	- name: Update Reports
	run: ./update-pytorch.sh

	- name: Commit Push
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	cd gh-pages
	git update-index -q --refresh
	git diff-index --quiet HEAD && exit 0 # commit only if something to do
	git config --local user.email "[email protected]"
	git config --local user.name "Update CI"
	git add -A
	git commit -m "nightly update"
	git push

Provide feedback