| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-06-02 | Support VerificationStatement in the naming plugin (#2555) (#2557) | mergify[bot] |
| 2022-01-10 | Apply scalafmt | Jack Koenig |
| 2021-09-23 | make all verification statements publically available (#2089) | Kevin Laeufer |
