Plutus Tx Template

UCaseOfCase Translation Relation and Decision Procedure #269

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via pull request June 4, 2024 13:13

ramsay-t

synchronize #5947

ramsay-t/verified-compilation

Status Failure

Total duration 13m 7s

Artifacts –

plutus-tx-template.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.