Verify proofs

Remove clutter from PR template (#96) #327

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via push October 19, 2023 16:27

stefan-aws

main

Status Success

Total duration 1m 12s

Artifacts –

verify.yml

on: push