CI PR

Add support for reading RDF 1.1 TriG #815

Sign in to view logs

Triggered via pull request November 20, 2023 23:17

mmarx

synchronize #420

feature/trig

Status Cancelled

Total duration 2m 53s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr.yml

on: pull_request

Lint with clippy

Verify code formatting

Verify crate documentation

Check for undefined behaviour with miri

Test python bindings

Check python code formatting

Test wasm bindings

Matrix: test

Annotations

2 errors

Check for undefined behaviour with miri

Canceling since a higher priority waiting request for 'ci-refs/pull/420/merge' exists

Check for undefined behaviour with miri

The operation was canceled.