larvit/adf-codec
3
0
Fork 0
Code Pull Requests 1 Actions Activity

Cut 0.1.0 to the corpus round-trip, and date the proof work after it #37

Merged
lilleman merged 1 commits from release-scope into main 2026-09-01 16:25:22 +02:00
Conversation 0 Commits 1 Files Changed 1
+41 -28

1 Commits

Author SHA1 Message Date
Mikael Göransson 5756ef8943 Cut 0.1.0 to the corpus round-trip, and date the proof work after it
CI / gate (push) Successful in 5s
Details
2026-09-01 16:24:50 +02:00