Skip to content

Replace deprecated rio with oxrdfio #1323

Replace deprecated rio with oxrdfio

Replace deprecated rio with oxrdfio #1323

Triggered via pull request March 3, 2025 01:45
@mmarxmmarx
synchronize #626
oxrdfio
Status Cancelled
Total duration 1m 1s
Artifacts

pr.yml

on: pull_request
Lint with clippy
37s
Lint with clippy
Verify code formatting
20s
Verify code formatting
Verify crate documentation
37s
Verify crate documentation
Check for undefined behaviour with miri
35s
Check for undefined behaviour with miri
Test python bindings
24s
Test python bindings
Check python code formatting
5s
Check python code formatting
Test wasm bindings
36s
Test wasm bindings
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

12 errors
Test python bindings
Canceling since a higher priority waiting request for 'ci-refs/pull/626/merge' exists
Test python bindings
The operation was canceled.
Lint with clippy
Canceling since a higher priority waiting request for 'ci-refs/pull/626/merge' exists
Lint with clippy
The operation was canceled.
Test wasm bindings
Canceling since a higher priority waiting request for 'ci-refs/pull/626/merge' exists
Test wasm bindings
The operation was canceled.
Test Rust nightly on ubuntu-latest
Canceling since a higher priority waiting request for 'ci-refs/pull/626/merge' exists
Test Rust nightly on ubuntu-latest
The operation was canceled.
Check for undefined behaviour with miri
Canceling since a higher priority waiting request for 'ci-refs/pull/626/merge' exists
Check for undefined behaviour with miri
The operation was canceled.
Verify crate documentation
Canceling since a higher priority waiting request for 'ci-refs/pull/626/merge' exists
Verify crate documentation
The operation was canceled.