Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: run propagator dialyzer on CI #202

Merged
merged 9 commits into from
Nov 9, 2023
Merged

chore: run propagator dialyzer on CI #202

merged 9 commits into from
Nov 9, 2023

Conversation

joaothallis
Copy link
Contributor

What does this PR do?

Update propagator dialyzer and run it on CI

@joaothallis joaothallis requested a review from tsloughter October 3, 2023 21:41
@tsloughter tsloughter merged commit 97d13c3 into open-telemetry:main Nov 9, 2023
31 checks passed
@bryannaegele
Copy link
Collaborator

bryannaegele commented Nov 10, 2023

1.11 should not have been removed from the matrix and the minimum support should not have been changed @joaothallis. Why was that done and the PR not simply rebased with adding dialyzer?

Edit: Nevermind. I see. The issue with dialyxir was fixed to remove the reliance on that operator. I'm going to revert this for now and we can do a new PR with the most recent version.

bryannaegele added a commit that referenced this pull request Nov 10, 2023
bryannaegele added a commit that referenced this pull request Nov 10, 2023
@joaothallis joaothallis deleted the chore/run-propagator-dialyzer-on-ci branch November 21, 2023 01:53
@joaothallis
Copy link
Contributor Author

The issue with dialyxir was fixed to remove the reliance on that operator. I'm going to revert this for now and we can do a new PR with the most recent version.

Okay, I will create a new PR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants