Skip to content

Normal forms

Normal forms #85

Triggered via pull request January 6, 2025 17:54
@tsionyxtsionyx
synchronize #2
nf
Status Failure
Total duration 46s
Artifacts

rust.yml

on: pull_request
Get Environment vars
0s
Get Environment vars
Matrix: clippy
Matrix: fmt
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

14 errors and 32 warnings
Static analysis with `clippy` on rust 'beta': src/arity.rs#L6
unresolved link to `crate::TruthFn`
Static analysis with `clippy` on rust 'beta': src/arity.rs#L44
unresolved link to `crate::TruthFn`
Static analysis with `clippy` on rust 'beta': src/connective/functions/binary/and.rs#L78
unresolved link to `super::xnor::LogicalBiconditionalAny`
Static analysis with `clippy` on rust 'beta': src/connective/functions/binary/or.rs#L77
unresolved link to `super::xnor::LogicalBiconditionalAny`
Static analysis with `clippy` on rust 'beta': src/connective/functions/binary/xnor.rs#L90
unresolved link to `LogicalBiconditionalAny`
Static analysis with `clippy` on rust 'beta': src/connective/functions/binary/xor.rs#L77
unresolved link to `super::xnor::LogicalBiconditionalAny`
Static analysis with `clippy` on rust 'beta': src/connective/ops.rs#L46
unresolved link to `Conversion`
Static analysis with `clippy` on rust 'beta': src/connective/properties.rs#L141
unresolved link to `Self::is_falsity_preserving`
Static analysis with `clippy` on rust 'beta': src/connective/properties.rs#L142
unresolved link to `Self::is_truth_preserving`
Static analysis with `clippy` on rust 'stable'
The job was canceled because "beta" failed.
Static analysis with `clippy` on rust 'stable'
The operation was canceled.
Static analysis with `clippy` on rust '1.71.0'
The job was canceled because "beta" failed.
Static analysis with `clippy` on rust '1.71.0'
The operation was canceled.
Get Environment vars
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Verify formatting with `rustfmt` on rust 'stable'
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Verify formatting with `rustfmt` on rust 'stable'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Verify formatting with `rustfmt` on rust 'stable'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Verify formatting with `rustfmt` on rust 'stable'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Verify formatting with `rustfmt` on rust 'stable'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Verify formatting with `rustfmt` on rust '1.71.0'
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Verify formatting with `rustfmt` on rust '1.71.0'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Verify formatting with `rustfmt` on rust '1.71.0'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Verify formatting with `rustfmt` on rust '1.71.0'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Verify formatting with `rustfmt` on rust '1.71.0'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Verify formatting with `rustfmt` on rust 'beta'
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Verify formatting with `rustfmt` on rust 'beta'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Verify formatting with `rustfmt` on rust 'beta'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Verify formatting with `rustfmt` on rust 'beta'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Verify formatting with `rustfmt` on rust 'beta'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust 'beta'
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Static analysis with `clippy` on rust 'beta'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust 'beta'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust 'beta'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust 'beta'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust 'stable'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust 'stable'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust 'stable'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust 'stable'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust '1.71.0'
unused manifest key `lints` (may be supported in a future version)
Static analysis with `clippy` on rust '1.71.0'
unused manifest key `lints` (may be supported in a future version)
Static analysis with `clippy` on rust '1.71.0'
unused manifest key `lints` (may be supported in a future version)
Static analysis with `clippy` on rust '1.71.0'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust '1.71.0'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust '1.71.0'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Static analysis with `clippy` on rust '1.71.0'
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/