Update dependency: deps/pyproject-build-systems#893

automergerpr-permission-manager[bot] merged 1 commit intomasterruntimeverification/mir-semantics:masterfrom

_update-deps-cron/pyproject-build-systemsruntimeverification/mir-semantics:_update-deps-cron/pyproject-build-systemsCopy head branch name to clipboard