Skip to content

Merge branch 'main' into chore/uninstall-rdfjs #2385

Merge branch 'main' into chore/uninstall-rdfjs

Merge branch 'main' into chore/uninstall-rdfjs #2385

Triggered via push October 10, 2023 14:38
Status Success
Total duration 3m 9s
Artifacts 1

ci.yml

on: push
Matrix: unit-tests
sonar-scan
55s
sonar-scan
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
code-coverage-ubuntu-latest-20.x Expired
135 KB