Skip to content

Add PlutusLedgerApi QuickCheck instances #1461

Add PlutusLedgerApi QuickCheck instances

Add PlutusLedgerApi QuickCheck instances #1461

# 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"