ci-obj-c

refactor: divide proof operations to subroutines #545

Sign in to view logs

Triggered via pull request January 18, 2024 16:47

synchronize #164

vasilis/parameterize-proof-procedures

Status Success

Total duration 5m 4s

Artifacts –

ci-obj-c.yml

on: pull_request

Build & Test Objective-C Wrapper