Skip to content

Feature/366 body arithmetic #712

Feature/366 body arithmetic

Feature/366 body arithmetic #712

Triggered via pull request October 10, 2023 14:12
Status Failure
Total duration 19m 2s
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
2m 31s
Lint with clippy
Verify code formatting
37s
Verify code formatting
Verify crate documentation
1m 37s
Verify crate documentation
Check for undefined behaviour with miri
18m 48s
Check for undefined behaviour with miri
Test python bindings
1m 38s
Test python bindings
Check python code formatting
10s
Check python code formatting
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Verify crate documentation: nemo/src/io/parser.rs#L1212
unclosed HTML tag `Variable`
Verify crate documentation: nemo/src/io/parser.rs#L1212
unclosed HTML tag `Term`
Verify crate documentation
Process completed with exit code 101.