feat: redeem cycles faucet coupon to cycles ledger #3685

	name: Update Docs
	on:
	pull_request

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	env:
	# When getting Rust dependencies, retry on network error:
	CARGO_NET_RETRY: 10
	# Use the local .curlrc
	CURL_HOME: .

	jobs:
	update_dfx_json_schema:
	# Workflow breaks if it gets executed on an external PR
	if: github.event.pull_request.head.repo.full_name == github.repository
	runs-on: ${{ matrix.os }}
	strategy:
	fail-fast: false
	matrix:
	os: [ ubuntu-20.04 ]
	steps:
	- uses: actions/[email protected]
	with:
	fetch-depth: 0
	ref: ${{ github.event.pull_request.head.ref }}
	repository: ${{github.event.pull_request.head.repo.full_name}}
	- name: Install Rust
	run: rustup show
	- name: Check cargo build
	run: cargo build
	- name: Show download worked
	run: cargo run -- --version
	- name: Update docs/dfx-json-schema.json
	run: \|
	cargo run -- schema --outfile docs/dfx-json-schema.json
	cargo run -- schema --for networks --outfile docs/networks-json-schema.json
	echo "dfx.json schema:"
	cat docs/dfx-json-schema.json
	echo "networks.json schema:"
	cat docs/networks-json-schema.json
	if [[ $(git status \| wc -l) -eq 2 ]]; then
	git config user.name "GitHub Actions Bot"
	git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git add docs/dfx-json-schema.json docs/networks-json-schema.json
	git commit -m "update dfx-json-schema and networks-json-schema" \|\| true
	git push
	fi

Provide feedback