Switch from the unmaintained rust-yaml to the maintained rust-yaml2. #61

	on:
	pull_request:
	merge_group:

	# This is required to silence emails about the workflow having no jobs.
	# We simply define a dummy job that does nothing much.
	jobs:
	dummy:
	runs-on: ubuntu-latest
	steps:
	- run: /usr/bin/true

Provide feedback