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

feat: Add RBS to CI #3833

Merged
merged 6 commits into from Jun 26, 2023
Merged

feat: Add RBS to CI #3833

merged 6 commits into from Jun 26, 2023

Conversation

tanmoysrt
Copy link
Member

@tanmoysrt tanmoysrt commented Jun 22, 2023

Fixes #3792

Describe the changes you have made in this PR -

  • In rbs configuration, marked meta-tags to ignore, so that the rbs of meta-tags don't raise any issue
  • In sig/vendor, added modified rbs of meta-tags gem to process it with steep check
  • Added steep check in CI

For resolving the RBS::DuplicatedMethodDefinitionError issue for conflicting rbs definition , the maintainer of steep suggests to ignore meta-tags from rbs check and store modified rbs in sig folder for steep check.
Dicussion Thread - ruby/rbs:1359

Note: Please check Allow edits from maintainers. if you would like us to assist in the PR.

Steepfile Outdated Show resolved Hide resolved
Steepfile Outdated Show resolved Hide resolved
Steepfile Outdated Show resolved Hide resolved
@tanmoysrt tanmoysrt changed the title Rbs/ci feat: Add RBS to CI Jun 22, 2023
@codeclimate
Copy link

codeclimate bot commented Jun 22, 2023

Code Climate has analyzed commit 268e583 and detected 0 issues on this pull request.

View more on Code Climate.

@tanmoysrt tanmoysrt marked this pull request as ready for review June 22, 2023 13:18
@tanmoysrt
Copy link
Member Author

tanmoysrt commented Jun 22, 2023

This PR is ready !
I have mentioned the details in the PR description
cc @tachyons @smritigarg @vedant-jain03

@tachyons tachyons merged commit 1cc7ab7 into CircuitVerse:master Jun 26, 2023
17 checks passed
@tanmoysrt tanmoysrt added the GSoC'23 The label for GSoC'23 related issues and PR's. label Jul 12, 2023
@tanmoysrt tanmoysrt self-assigned this Jul 13, 2023
tanmoysrt added a commit to tanmoysrt/CircuitVerse that referenced this pull request Jul 18, 2023
* fix(rbs/ci): fix meta-tags issue

* feat(rbs/ci): remove manual import from steepfile

* feat(rbs/ci): add meta-tags rbs file to sig folder to check with steep

* feat(rbs/ci): add steep to CI

* feat(rbs/ci): ci fix
@tanmoysrt tanmoysrt deleted the rbs/ci branch July 21, 2023 01:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
GSoC'23 The label for GSoC'23 related issues and PR's.
Development

Successfully merging this pull request may close these issues.

Introducing RBS [Ruby Static Typing]
2 participants