Merge pull request #134 from acgetchell/refactor/finite-proof-simplif… · acgetchell/la-stack@c6cde72

Triggered via push June 3, 2026 21:56

acgetchell

main

Status Success

Total duration 40s

Artifacts 1

codecov.yml

on: push

1 notice

Coverage report generated successfully: 11806 lines

Produced during runtime

Name	Size	Digest
coverage-report	28.8 KB	`sha256:fc2774a07817c97f33a8774624c35067a1aca6603eef49a989fd90fe9177093f`