Skip to content
Back to pull request #367

Use ungeneralized types for flexible schema and planner #932

Sign in to view logs

Use ungeneralized types for flexible schema and planner

Use ungeneralized types for flexible schema and planner #932

Triggered via pull request October 12, 2023 21:11
@hennebergerhenneberger
synchronize #367
flex
Status Success
Total duration 7m 42s
Artifacts –

build-config.yml

on: pull_request
build
7m 33s
build
Fit to window
Zoom out
Zoom in