generate_digits #454

	# This is a basic workflow to help you get started with Actions

	name: generate_digits

	# Controls when the workflow will run
	on:
	# Run at midnight UTC
	schedule:
	- cron: '0 0 * * *'

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

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "build"
	gen_digits:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v3
	with:
	python-version: '3.10'

	- name: Generate Digits
	uses: nick-fields/retry@v2
	with:
	timeout_seconds: 180
	max_attempts: 5
	command: \|
	export PYTHONPATH=$PYTHONPATH:`pwd`
	python gen_digits.py

	# Add new files in data folder, commit along with other modified files, push
	- name: Commit files
	run: \|
	git config --local user.name github-actions
	git config --local user.email "actions@github.com"
	git add data/*
	git diff-index --quiet HEAD \|\| git commit -am "GH ACTION $GITHUB_WORKFLOW $(date)"
	git push origin $GITHUB_REF_NAME
	env:
	REPO_KEY: ${{secrets.GITHUB_TOKEN}}
	username: github-actions

Provide feedback