Generate Swift protobuf code for logging support #153
ci.yml
on: pull_request
Soundness Check
13s
Compile Counter Example
2m 23s
Matrix: Unit Test