build

DO NOT MERGE: CI Test #14

	name: build

	on:
	push:
	branches: ["test-ci", "main", "test-ci2"]

	jobs:
	build-docs:
	environment:
	name: github-pages
	url: ${{steps.deployment.outputs.page_url}}
	runs-on: ubuntu-latest
	container: riot/riotbuild
	steps:
	- name: Check out rust-documentation-builder
	uses: actions/checkout@v4
	- name: Run `make build-from-checkout`
	# Note that this runs the RIOT checkout internally, both to reduce
	# dependencies on GitHub actions and to gain the flexibility on running
	# with different sources with the same ease locally and in CI.
	run: \|
	pwd
	ls -la
	sh ./build-with-checkouts.sh
	find bin -name 'index.html'
	- name: Create artifact of built documentation
	uses: actions/upload-artifact@v4
	with:
	name: rustdoc
	path: bin/nrf52840dongle/target/thumbv7em-none-eabihf/doc/
	- name: Upload generated documentation
	run: \|
	mkdir ~/.ssh -m 0700
	echo "${SECRET_KEY}" > ~/.ssh/id_ed25519
	chmod go-rwx ~/.ssh/id_ed25519
	rsync -e 'ssh -p${SECRET_PORT}' -vaP --delete bin/${BOARD}/target/${RUST_TARGET}/doc/* [email protected]:/var/www/doc.riot-os.org_rustdoc/latest/

Provide feedback