Add CI workflow file, lean and shell script #1

	name: Post Mathlib report on Zulip
	on:
	schedule:
	- cron: "0 0 * * Sun" # post at midnight on Sunday UTC

	jobs:
	mathlib-report:
	runs-on: pr
	steps:
	runs-on: ubuntu-latest
Check failure on line 10 in .github/workflows/mathlib_stats.yaml View workflow run for this annotation GitHub Actions / .github/workflows/mathlib_stats.yaml Invalid workflow file `You have an error in your yaml syntax on line 10`
	steps:

	- name: Checkout master branch
	uses: adomani/get_mathlib4_with_cache@v1

	- id: mathlib_stats
	run: \|
	git checkout origin/adomani/weekly_change_report scripts/mathlib_stats.sh scripts/count_decls.lean
	printf $'summary<<EOF\n%s\nEOF' "$(./scripts/mathlib_stats.sh)" >> "$GITHUB_OUTPUT"

	- name: Post report on Zulip
	uses: zulip/github-actions-zulip/send-message@v1
	with:
	api-key: ${{ secrets.ZULIP_API_KEY }}
	email: '[email protected]'
	organization-url: 'https://leanprover.zulipchat.com'
	to: 'mathlib4'
	type: 'stream'
	topic: 'Mathlib weekly change report'
	content: ${{ steps.mathlib_stats.outputs.summary }}

Provide feedback