ci-obj-c

refactor: divide proof operations to subroutines #544

Sign in to view logs

Triggered via pull request January 15, 2024 14:41

synchronize #164

vasilis/parameterize-proof-procedures

Status Success

Total duration 6m 22s

Artifacts –

ci-obj-c.yml

on: pull_request

Build & Test Objective-C Wrapper