Misc 0

ci: add GHA to add PRs to project board when marked ready for review #7640

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker-tests	1m 0s
precommit	1s
typecheck	1s
shellcheck	1s
spellcheck	1s
generate	1s
generate-workflows	7s
docs	1m 0s
	2m 12s