Structured JSON import #1533
mmarxpr.yml
on: pull_request
Lint with clippy
1m 11s
Verify code formatting
23s
Verify crate documentation
3m 19s
Check for undefined behaviour with miri
2m 8s
Test python bindings
1m 35s
Check python code formatting
10s
Test wasm bindings
1m 38s
Matrix: test
Annotations
8 errors and 3 warnings
|
Verify code formatting
Process completed with exit code 1.
|
|
Lint with clippy
Process completed with exit code 101.
|
|
Lint with clippy:
nemo/src/io/formats/json/reader.rs#L19
field `patterns` is never read
|
|
Test Rust nightly on ubuntu-latest
Process completed with exit code 101.
|
|
Check for undefined behaviour with miri
Process completed with exit code 1.
|
|
Check for undefined behaviour with miri
unsupported operation: `clock_gettime` with `REALTIME` clocks not available when isolation is enabled
|
|
Verify crate documentation
Process completed with exit code 101.
|
|
Verify crate documentation:
nemo/src/io/formats/json/reader.rs#L19
field `patterns` is never read
|
|
Test Rust nightly on ubuntu-latest:
nemo/src/io/formats/json/reader.rs#L19
field `patterns` is never read
|
|
Check for undefined behaviour with miri:
nemo/src/io/formats/json/reader.rs#L19
field `patterns` is never read
|
|
Check for undefined behaviour with miri:
nemo/src/io/formats/json/reader.rs#L19
field `patterns` is never read
|