build

CI: Upload to pages for the time being #11

	name: build

	on:
	push:
	branches: ["test-ci"]

	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: \|
	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 GitHub Pages artifact
	uses: actions/upload-pages-artifact@v1
	with:
	path: bin/nrf52840dongle/target/thumbv7em-none-eabihf/doc/

Provide feedback