Rename Verifiable to Assertion, closes #91 #83

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request August 19, 2023 16:16

dmfs

opened #92

91-rename-verifiable

Status Success

Total duration 1m 54s

Artifacts –

pr.yml

on: pull_request