CI: DO NOT MERGE #19

	name: build

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

	jobs:
	build-docs:
	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: \|
	sh ./build-with-checkouts.sh
	# We might use artifacts in other situations, but right now we only care about uploading
	# - 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
	env:
	SECRET_KEY: ${{ secrets.SECRET_KEY }}
	SECRET_PORT: ${{ secrets.SECRET_PORT }}
	run: \|
	mkdir ~/.ssh -m 0700
	echo "[tatooine.riot-os.org]:${SECRET_PORT} ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIHvjwPa7KJNZS47cHXaMrxRcDj1a/2VEFtp041ZOSY2L" > ~/.ssh/known_hosts
	echo "${SECRET_KEY}" > ~/.ssh/id_ed25519
	chmod go-rwx ~/.ssh/id_ed25519
	ssh -p ${SECRET_PORT} [email protected] whoami
	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