Allow non-pure provable types as inputs/outputs in zkprogram #43

	name: Check Changelog for changes
	on:
	pull_request:
	types: [assigned, opened, synchronize, reopened, labeled, unlabeled]
	branches:
	- main
	jobs:
	Check-Changelog:
	name: Check Changelog Action
	runs-on: ubuntu-20.04
	steps:
	- uses: tarides/changelog-check-action@v2
	with:
	changelog: CHANGELOG.md

Provide feedback