verif reporter API non-mut now #59

Merged
muellerr merged 1 commits from verif-reporter-non-mut into main 2023-07-19 11:30:55 +02:00
Owner

This improves ergonomics of verif reporter by a large margin

This improves ergonomics of verif reporter by a large margin
muellerr added 1 commit 2023-07-19 11:28:38 +02:00
verif reporter API non-mut now
Some checks are pending
Rust/sat-rs/pipeline/head Build started...
a11efc9a96
muellerr requested review from lkoester 2023-07-19 11:29:31 +02:00
muellerr added this to the satrs v0.1.0 milestone 2023-07-19 11:29:37 +02:00
muellerr removed review request for lkoester 2023-07-19 11:30:47 +02:00
muellerr merged commit 9ea0968bf8 into main 2023-07-19 11:30:55 +02:00
muellerr deleted branch verif-reporter-non-mut 2023-07-19 11:30:55 +02:00
Sign in to join this conversation.
No description provided.