Add format action

[codecov[bot]]

Codecov Report

Patch coverage: 76.98% and project coverage change: +0.23 :tada:

Comparison is base (116410f) 78.52% compared to head (1ec3511) 78.75%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #281 +/- ## ========================================== + Coverage 78.52% 78.75% +0.23% ========================================== Files 36 36 Lines 1802 1850 +48 ========================================== + Hits 1415 1457 +42 - Misses 387 393 +6 ``` | [Impacted Files](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev) | Coverage Δ | | |---|---|---| | [src/Bridges/Constraint/Constraint.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9Db25zdHJhaW50Lmps) | `0.00% <ø> (ø)` | | | [...c/Bridges/Constraint/scaled\_diagonally\_dominant.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9zY2FsZWRfZGlhZ29uYWxseV9kb21pbmFudC5qbA==) | `0.00% <0.00%> (ø)` | | | [src/Certificate/Symmetry/block\_diag.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL1N5bW1ldHJ5L2Jsb2NrX2RpYWcuamw=) | `0.00% <0.00%> (ø)` | | | [src/Certificate/Symmetry/wedderburn.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL1N5bW1ldHJ5L3dlZGRlcmJ1cm4uamw=) | `0.00% <0.00%> (ø)` | | | [src/Bridges/Constraint/psd2x2.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9wc2QyeDIuamw=) | `42.30% <44.44%> (ø)` | | | [src/Bridges/Variable/copositive\_inner.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvVmFyaWFibGUvY29wb3NpdGl2ZV9pbm5lci5qbA==) | `65.57% <47.36%> (ø)` | | | [src/Bridges/Constraint/empty.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9lbXB0eS5qbA==) | `57.14% <50.00%> (ø)` | | | [src/Bridges/Variable/scaled\_diagonally\_dominant.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvVmFyaWFibGUvc2NhbGVkX2RpYWdvbmFsbHlfZG9taW5hbnQuamw=) | `69.76% <50.00%> (ø)` | | | [src/Certificate/Symmetry/utils.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL1N5bW1ldHJ5L3V0aWxzLmps) | `62.50% <60.00%> (+1.20%)` | :arrow_up: | | [.../Constraint/sos\_polynomial\_in\_semialgebraic\_set.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9zb3NfcG9seW5vbWlhbF9pbl9zZW1pYWxnZWJyYWljX3NldC5qbA==) | `80.55% <62.50%> (-0.61%)` | :arrow_down: | | ... and [25 more](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/281?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev) | | Help us with your feedback. Take ten seconds to tell us [how you rate us](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev)

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.