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.

Sign up for GitHub

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

Jump to bottom

Re-enable check against FallThrough violations #364

Draft
wants to merge 11 commits into
base: master
Choose a base branch
from
Draft

Re-enable check against FallThrough violations #364

wants to merge 11 commits into from

Commits on Sep 22, 2018

  1. Re-enable check against FallThrough violations 

    Fix #239
    @regisd
    regisd committed Sep 22, 2018
    Configuration menu
    Copy the full SHA
    00a7dd2 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2018

  1. Merge branch 'master' into error-prone

    @regisd
    regisd committed Oct 15, 2018
    Configuration menu
    Copy the full SHA
    41c70f6 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2019

  1. Merge branch 'master' into error-prone

    @regisd
    regisd committed Nov 24, 2019
    Configuration menu
    Copy the full SHA
    f231e15 View commit details
    Browse the repository at this point in the history

  2. Increase FallThrough to warn in Bazel.

    @regisd
    regisd committed Nov 24, 2019
    Configuration menu
    Copy the full SHA
    5a5ef07 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2019

  1. Merge branch 'master' into error-prone

    @regisd
    regisd committed Dec 1, 2019
    Configuration menu
    Copy the full SHA
    8f3d58c View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2019

  1. Merge branch 'master' into error-prone

    @lsf37
    lsf37 authored Dec 7, 2019
    Configuration menu
    Copy the full SHA
    24c68d7 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2019

  1. Merge branch 'master' into error-prone

    @regisd
    regisd committed Dec 12, 2019
    Configuration menu
    Copy the full SHA
    e58918d View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2020

  1. Merge branch 'master' into error-prone

    @lsf37
    lsf37 authored Mar 15, 2020
    Configuration menu
    Copy the full SHA
    cbf80cc View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2020

  1. Merge branch 'master' into error-prone

    @regisd
    regisd authored Mar 28, 2020
    Configuration menu
    Copy the full SHA
    9906146 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2020

  1. Merge branch 'master' into error-prone

    @regisd
    regisd authored Apr 10, 2020
    Configuration menu
    Copy the full SHA
    2b108e4 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2020

  1. Merge branch 'master' into error-prone

    @regisd
    regisd authored May 11, 2020
    Configuration menu
    Copy the full SHA
    b8abacc View commit details
    Browse the repository at this point in the history