Skip to content

Omit unnecessary field from location range #1188

Omit unnecessary field from location range

Omit unnecessary field from location range #1188

Workflow file for this run

name: Type check
on:
push:
branches:
- master
pull_request: {}
merge_group: {}
jobs:
steep:
runs-on: "ubuntu-latest"
strategy:
fail-fast: false
steps:
- uses: actions/checkout@v4
- uses: ruby/setup-ruby@v1
with:
ruby-version: "3.3"
bundler: none
- name: Set working directory as safe
run: git config --global --add safe.directory $(pwd)
- name: Install dependencies
run: |
sudo apt-get update
sudo apt-get install -y libdb-dev curl
- name: Update rubygems & bundler
run: |
ruby -v
gem update --system
- name: bin/setup
run: |
bin/setup
- name: Run steep check
run: |
bin/steep check -j 2