Skip to content

Merge branch 'main' of https://github.com/BiGCAT-UM/KinRDF into main #28

Merge branch 'main' of https://github.com/BiGCAT-UM/KinRDF into main

Merge branch 'main' of https://github.com/BiGCAT-UM/KinRDF into main #28

Triggered via push December 20, 2023 22:35
Status Success
Total duration 34s
Billable time 2m
Artifacts
CreateCuratedRDF
9s
CreateCuratedRDF
ValidateCuratedRDF
6s
ValidateCuratedRDF
Fit to window
Zoom out
Zoom in