refactor(invariants): simplify finite proof wrappers · acgetchell/la-stack@54b603c

Triggered via pull request June 3, 2026 21:50

acgetchell

opened #134

Status Success

Total duration 51s

Artifacts 1

codecov.yml

on: pull_request

1 notice

Coverage report generated successfully: 11806 lines

Produced during runtime

Name	Size	Digest
coverage-report	28.8 KB	`sha256:9f280c5bbc7ccd1765d389db77471967da1e63ebda5ae5f8f34698c24182110e`