CI: add a check for checklog changes on PR#1231

dannywillems merged 1 commit intodevelopo1-labs/mina-rust:developfrom

dw/add-changelog-ci-checko1-labs/mina-rust:dw/add-changelog-ci-checkCopy head branch name to clipboard