Bump dialyxir from 1.2.0 to 1.3.0

[dependabot[bot]]

Bumps dialyxir from 1.2.0 to 1.3.0.

Release notes

Sourced from dialyxir's releases.

1.3

Added

• Elixir 1.15 support.
• Support for warning :callback_not_exported.

Changed

• Several improvements to documentation, particularly Github CI documentation.

Removed

• Support for :race_conditions flag which was removed from Erlang.

Fixed

• Crash when mix.lock is missing.

Changelog

Sourced from dialyxir's changelog.

Unreleased changes post [1.3.0]

[1.3.0] - 2023-04-08

Added

• Elixir 1.15 support.
• Support for warning :callback_not_exported.

Changed

• Several improvements to documentation, particularly Github CI documentation.

Removed

• Support for :race_conditions flag which was removed from Erlang.

Fixed

• Crash when mix.lock is missing.

Commits

• 8dc1e9c Merge pull request #489 from jeremyjh/jh-bump-for-release
• 77162cf Update version & CHANGELOG for 1.3 release.
• b17df86 Remove out-dated README content.
• d2b4074 Merge pull request #487 from Nezteb/master
• 6c4ef67 GitHub CI example: separate cache restore and save
• 605846c Merge pull request #485 from jeremyjh/jh-ubuntu20-ci
• ee31585 Merge branch 'master' into jh-ubuntu20-ci
• 8073eaa Merge pull request #481 from pnezis/no-umbrella-cd
• 48bdc32 Fix unmatched return warning.
• c13a56f This combo doesn't exist.
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)