Skip to content

Replace deprecated rio with oxrdfio #1331

Replace deprecated rio with oxrdfio

Replace deprecated rio with oxrdfio #1331

Triggered via pull request March 4, 2025 17:51
@mmarxmmarx
synchronize #626
oxrdfio
Status Success
Total duration 33m 6s
Artifacts

pr.yml

on: pull_request
Lint with clippy
1m 5s
Lint with clippy
Verify code formatting
15s
Verify code formatting
Verify crate documentation
1m 38s
Verify crate documentation
Check for undefined behaviour with miri
32m 56s
Check for undefined behaviour with miri
Test python bindings
1m 22s
Test python bindings
Check python code formatting
5s
Check python code formatting
Test wasm bindings
1m 21s
Test wasm bindings
Matrix: test
Fit to window
Zoom out
Zoom in