Build OpenAPI schema

Fix quantifier assignment bug affecting #291

Sign in to view logs

Triggered via pull request July 24, 2023 07:30

opened #1116

fix/quant-assignment-bug

Status Success

Total duration 15s

Artifacts –

api-types.yml

on: pull_request

check-openapi-schema-changed

build-openapi-schema