Skip to content

Merge named-graph-expansion feature #73

Merge named-graph-expansion feature

Merge named-graph-expansion feature #73

Triggered via pull request November 1, 2024 07:24
Status Success
Total duration 4m 44s
Artifacts

ci.yml

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