predata #733

	on:
	# push:
	# branches-ignore:
	# # ignore tmp branches used by bors
	# - 'staging.tmp*'
	# - 'trying.tmp*'
	# - 'staging*.tmp'
	schedule:
	- cron: '0 22 * * *' # 11PM CET/2PM PT
	workflow_dispatch:

	name: predata

	jobs:
	predata:
	if: github.repository == 'leanprover-community/mathport'
	name: Predata
	runs-on: mathport
	steps:
	- name: clean up working directory
	run: rm -rf *

	- name: clean up elan
	run: rm -rf $HOME/.elan

	- name: install elan
	run: \|
	set -o pipefail
	curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz \| tar xz
	./elan-init -y --default-toolchain none
	echo "$HOME/.elan/bin" >> $GITHUB_PATH

	- uses: actions/checkout@v4

	- name: prepare sources
	run: make mathbin-source lean3-source clean-predata

	- name: prepare predata for Lean 3
	run: make lean3-predata

	- name: prepare predata for mathlib
	run: env time -v make mathbin-predata LEAN3_OPTS=-j6

	- name: clean up a bit
	run: \|
	rm -rf sources/lean/.git sources/mathlib/.git
	find sources -name "*.olean" -delete

	- name: prepare tarballs for release
	run: make predata-tarballs

	- name: set tag
	run: echo "TAG=predata-nightly-$(date -u +%F-%H)" >> $GITHUB_ENV

	- name: release
	uses: softprops/action-gh-release@v1
	with:
	prerelease: true
	tag_name: ${{ env.TAG }}
	target_commitish: ${{ github.sha }}
	files: \|
	lean3-predata.tar.gz
	mathlib3-predata.tar.gz

	- name: clean up working directory
	run: rm -rf *

	- name: clean up elan
	run: rm -rf $HOME/.elan

Provide feedback