smol doc fix for `ProofTester` #44

Sign in to view logs

Summary
Jobs
- test
Run details
- Usage
- Workflow file

Triggered via push August 5, 2024 17:52

erhant

main

Status Success

Total duration 50s

Artifacts –

tests.yml

on: push