Add PlutusLedgerApi QuickCheck instances #1463

	# This workflows ensures that the plutus-tx-template repository stays working
	# even if there are changes in plutus. It checks out both the current commit of
	# plutus and the master branch of plutus-tx-template. Then, it creates a
	# cabal.project.local for plutus-tx-template that adjusts the plutus version.
	# Finally, it double-checks that everything still builds correctly using cabal
	# inside the devx shell.

	name: "🏛️ PlutusTx Template"

	on:
	pull_request:

	jobs:
	build:
	name: Build
	runs-on: [ubuntu-latest]
	steps:
	- name: Checkout plutus-tx-template Repo
	uses: actions/checkout@main
	with:
	repository: IntersectMBO/plutus-tx-template
	path: plutus-tx-template

	- name: Checkout plutus Repo
	uses: actions/checkout@main
	with:
	path: plutus-tx-template/plutus

	- name: Overwrite cabal.project.local
	uses: DamianReeves/write-file-action@master
	with:
	path: plutus-tx-template/cabal.project.local
	write-mode: overwrite
	contents: \|
	packages:
	plutus/plutus-tx
	plutus/plutus-tx-plugin
	plutus/plutus-core
	plutus/plutus-ledger-api
	plutus/prettyprinter-configurable

	allow-newer:
	plutus-tx
	, plutus-tx-plugin
	, plutus-core
	, plutus-ledger-api
	, prettyprinter-configurable

	- name: Build Project With Docker
	run: \|
	cd plutus-tx-template
	docker run \
	-v ./.:/workspaces/plutus-tx-template \
	-w /workspaces/plutus-tx-template \
	-i ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc96-iog \
	bash -ic "cabal update && cabal build all"

Provide feedback