Pull Request pipeline

Delete Schema Env allowed when no open requests remain #1008

Sign in to view logs

Triggered via pull request August 14, 2023 17:00

synchronize #1614

bugfix-allow-delete-when-no-active-requests

Status Success

Total duration 4m 17s

Artifacts –

workflow-pull-requests.yaml

on: pull_request

run-coral-jobs / Static code analysis

run-coral-jobs / Tests

run-coral-jobs / TypeScript compiler

Matrix: run-maven-jobs / build