Certification framework

[UlfNorell]

Framework for level 1 certification.

Pre-submit checklist:

• Branch
  • Tests are provided (if possible)
  • Commit sequence broadly makes sense
  • Key commits have useful messages
  • Relevant tickets are mentioned in commit messages
  • Formatting, materialized Nix files, PNG optimization, etc. are updated
• PR
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested

[MaximilianAlgehed]

@sjoerdvisscher do you know what's up with the failing GitHub checks?

[sjoerdvisscher]

@MaximilianAlgehed Yes, the macs have been updated causing the builds to fail. IntersectMBO/plutus#4497 works around this, so rebasing on main should fix this.

[MaximilianAlgehed]

@sjoerdvisscher I rebased on main but it appears to still be failing!

[sjoerdvisscher]

I think you need to do this thing:

*** Please run plutus-playground-generate-purs
*** in plutus-playground-client and
*** pab-nami-demo-generate-purs in
*** plutus-pab-executables/demo/pab-nami/client and and commit changes.

[MaximilianAlgehed]

Thanks :)

[MaximilianAlgehed]

That appears to have changed nothing :(

[nix-shell:~/IOHK/plutus-apps]$ git status
On branch PR-certification-framework
Your branch is up to date with 'origin/PR-certification-framework'.

nothing to commit, working tree clean

[sjoerdvisscher]

I ran the nix build locally and it did report an error:

src/Plutus/Contract/Test/Certification.hs:7:1: warning: [-Wunused-imports]
     The import of ‘Plutus.Contract.Test.Coverage’ is redundant

Hopefully then everything builds except check-for-updates.

[sjoerdvisscher]

I created a PR to your branch with some fixes: Quviq#3

[sjoerdvisscher]

Ok, one more thing to try: could you add plutus-contract-certification.package.buildable = false; at line 64 in haskell.nix?

[sjoerdvisscher]

Finally! The failing plutus-use-case is fixed on main. @koslambrou can you merge this please?

[MaximilianAlgehed]

Thanks! I'll have a look at these and try to get this up to speed once I'm by my computer.

…

On Sun, 27 Mar 2022, 13:12 Sjoerd Visscher, ***@***.***> wrote: I created a PR to your branch with some fixes: Quviq#3 <Quviq#3> — Reply to this email directly, view it on GitHub <#369 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ACBPPQKY76SNSKNMMRDQ4N3VCBGBFANCNFSM5RLBUV6A> . You are receiving this because you were mentioned.Message ID: ***@***.***>