Skip to content

Merge branch 'main' of github.com:comunica/traqula #275

Merge branch 'main' of github.com:comunica/traqula

Merge branch 'main' of github.com:comunica/traqula #275

Triggered via push May 23, 2025 09:41
Status Success
Total duration 5m 48s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
Prepare documentation
2m 16s
Prepare documentation
Matrix: spec
Matrix: test
Matrix: tooling
Publish documentation
7s
Publish documentation
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
documentation Expired
455 KB
sha256:c8accb2d0ef81675065051f8bf332eecb58da615f5db26e2bda84e44661477d7
earl report Expired
72.8 KB
sha256:d9fb023851870e77f805e56c6095a494332c15b1503aaca01e35a6c2c964cc70