Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1673304840 | housekeeping | feat: certora spec and workflow | push | Matthew Lilley | github | pending completion set done | |
1671699227 | master | feat: circleci | push | Matthew Lilley | github | pending completion set done | |
1671654127 | master | workflow: update name and run on ubuntu latest | push | Matthew Lilley | github | pending completion set done | |
1671651707 | master | chore: flesh out trident router test blocks | push | Matthew Lilley | github | pending completion set done | |
1669635575 | master | chore: coveralls | push | Matthew Lilley | github | pending completion set done |