Skip to content
CI PR

Feature/refactor planning #1525

Sign in to view logs

Feature/refactor planning

Feature/refactor planning #1525

Triggered via pull request October 20, 2025 11:15
@aannleaxaannleax
synchronize #726
feature/refactor-planning
Status Failure
Total duration 10m 46s
Artifacts –

pr.yml

on: pull_request
Lint with clippy
1m 19s
Lint with clippy
Verify code formatting
21s
Verify code formatting
Verify crate documentation
5m 26s
Verify crate documentation
Check for undefined behaviour with miri
10m 43s
Check for undefined behaviour with miri
Test python bindings
1m 37s
Test python bindings
Check python code formatting
9s
Check python code formatting
Test wasm bindings
1m 31s
Test wasm bindings
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Test Rust nightly on ubuntu-latest
Process completed with exit code 101.
Check for undefined behaviour with miri: nemo/src/execution/planning/analysis/variable_order.rs#L1285
unused attribute