Call `check_proof_attribute` for contract harnesses #315

Sign in to view logs

Summary
Jobs
- audit
Run details
- Usage
- Workflow file

Triggered via pull request September 18, 2024 18:00

carolynzech

synchronize #3522

carolynzech:contract-harness-errors

Status Success

Total duration 1m 6s

Artifacts –

deny.yml

on: pull_request