Skip to content

Simplify relational domains interface somewhat #912

Simplify relational domains interface somewhat

Simplify relational domains interface somewhat #912

Triggered via pull request December 4, 2023 19:17
Status Success
Total duration 15m 19s
Artifacts 1

coverage.yml

on: pull_request
Matrix: coverage
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
suite_result Expired
6.82 MB