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

Set up rbs_collection.yaml and add a TypeProf-generated prototype rbs #19

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open
1 change: 1 addition & 0 deletions .github/workflows/test.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,7 @@ jobs:
ruby-version: ${{ matrix.ruby }}
bundler-cache: true
- run: bundle install
- run: bundle exec rbs collection install
- run: bundle exec steep check
test-ruby:
runs-on: ubuntu-20.04
Expand Down
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -2,3 +2,4 @@
.irbrc
/Gemfile.lock
/pkg/
/.gem_rbs_collection/
26 changes: 26 additions & 0 deletions rbs_collection.lock.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
---
sources:
- type: git
name: ruby/gem_rbs_collection
revision: d0d7aeed98fa74427b30b336fc402ea86d526f35
remote: https://github.com/ruby/gem_rbs_collection.git
repo_dir: gems
path: ".gem_rbs_collection"
gems:
- name: erb
version: '0'
source:
type: stdlib
- name: stackprof
version: '0.2'
source:
type: git
name: ruby/gem_rbs_collection
revision: d0d7aeed98fa74427b30b336fc402ea86d526f35
remote: https://github.com/ruby/gem_rbs_collection.git
repo_dir: gems
- name: strscan
version: '0'
source:
type: stdlib
gemfile_lock_path: Gemfile.lock
22 changes: 22 additions & 0 deletions rbs_collection.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
# Download sources
sources:
- type: git
name: ruby/gem_rbs_collection
remote: https://github.com/ruby/gem_rbs_collection.git
revision: main
repo_dir: gems

# You can specify local directories as sources also.
# - type: local
# path: path/to/your/local/repository

# A directory to install the downloaded RBSs
path: .gem_rbs_collection

gems:
# Skip loading rbs gem's RBS.
# It's unnecessary if you don't use rbs as a library.
- name: rbs
ignore: true
- name: strscan
- name: erb
Loading