format-check

Add := operator for Boolean satisfiability problems #3632

Sign in to view logs

Summary
Jobs
- build
- vale
Run details
- Usage
- Workflow file

Triggered via pull request October 12, 2023 15:09

odow

synchronize #3530

od/def-equal

Status Success

Total duration 2m 24s

Artifacts –

format_check.yml

on: pull_request

Annotations

2 errors and 5 warnings

[vale] docs/src/manual/constraints.md#L1567: docs/src/manual/constraints.md#L1567

[Vale.Spelling] Did you really mean 'diambiguate'?

[vale] docs/src/manual/constraints.md#L1568: docs/src/manual/constraints.md#L1568

[Vale.Spelling] Did you really mean 'constrast'?

[vale] docs/src/packages/Loraine.md#L78: docs/src/packages/Loraine.md#L78

[Google.Ellipses] In general, don't use an ellipsis.

[vale] docs/src/packages/Ipopt.md#L241: docs/src/packages/Ipopt.md#L241

[Google.Colons] ': L' should be in lowercase.

[vale] docs/src/tutorials/applications/optimal_power_flow.md#L522: docs/src/tutorials/applications/optimal_power_flow.md#L522

[Google.Colons] ': G' should be in lowercase.

[vale] docs/src/tutorials/applications/optimal_power_flow.md#L522: docs/src/tutorials/applications/optimal_power_flow.md#L522

[Google.Colons] ': O' should be in lowercase.

[vale] docs/src/tutorials/applications/optimal_power_flow.md#L531: docs/src/tutorials/applications/optimal_power_flow.md#L531

[Google.Colons] ': S' should be in lowercase.