Add parsing of aggregate terms and function term operations #677
rlwwwpr.yml
on: pull_request
Lint with clippy
1m 53s
Verify code formatting
33s
Verify crate documentation
1m 37s
Check for undefined behaviour with miri
2m 10s
Test python bindings
1m 50s
Check python code formatting
5s
Matrix: test
Annotations
6 errors
|
Lint with clippy:
nemo-wasm/src/lib.rs#L317
non-exhaustive patterns: `nemo::model::Term::Aggregate(_)` not covered
|
|
Lint with clippy
Process completed with exit code 101.
|
|
Test Rust nightly on ubuntu-latest:
nemo-wasm/src/lib.rs#L317
non-exhaustive patterns: `nemo::model::Term::Aggregate(_)` not covered
|
|
Test Rust nightly on ubuntu-latest
Process completed with exit code 101.
|
|
Check for undefined behaviour with miri:
nemo-wasm/src/lib.rs#L317
non-exhaustive patterns: `nemo::model::Term::Aggregate(_)` not covered
|
|
Check for undefined behaviour with miri
Process completed with exit code 101.
|