[M] Change in code/re2[main]: Even more setting up to run mypy as per #496.

2 views
Skip to first unread message

Paul Wankadia (Gerrit)

unread,
Jun 21, 2024, 3:46:44 PM (12 days ago) Jun 21
to Paul Wankadia, re2...@googlegroups.com

Paul Wankadia has uploaded the change for review

Commit message

Even more setting up to run mypy as per #496.
Change-Id: Ib1250ec954c0fecdaed606c41bbbbe00ff7bc1de

Change information

Files:
  • M .github/workflows/python.yml
  • M python/setup.py
Change size: M
Delta: 2 files changed, 48 insertions(+), 35 deletions(-)
Open in Gerrit

Related details

Attention set is empty
Submit Requirements:
  • requirement is not satisfiedCode-Review
  • requirement is not satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: newchange
Gerrit-Project: re2
Gerrit-Branch: main
Gerrit-Change-Id: Ib1250ec954c0fecdaed606c41bbbbe00ff7bc1de
Gerrit-Change-Number: 63371
Gerrit-PatchSet: 1
Gerrit-Owner: Paul Wankadia <jun...@google.com>
unsatisfied_requirement
open
diffy

Alex Chernyakhovsky (Gerrit)

unread,
Jun 21, 2024, 3:48:18 PM (12 days ago) Jun 21
to Paul Wankadia, Perry Lorier, re2...@googlegroups.com
Attention needed from Paul Wankadia

Alex Chernyakhovsky voted Code-Review+1

Code-Review+1
Open in Gerrit

Related details

Attention is currently required from:
  • Paul Wankadia
Submit Requirements:
    • requirement is not satisfiedCode-Review
    • requirement satisfiedReview-Enforcement
    Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
    Gerrit-MessageType: comment
    Gerrit-Project: re2
    Gerrit-Branch: main
    Gerrit-Change-Id: Ib1250ec954c0fecdaed606c41bbbbe00ff7bc1de
    Gerrit-Change-Number: 63371
    Gerrit-PatchSet: 1
    Gerrit-Owner: Paul Wankadia <jun...@google.com>
    Gerrit-Reviewer: Alex Chernyakhovsky <ache...@google.com>
    Gerrit-CC: Perry Lorier <per...@google.com>
    Gerrit-Attention: Paul Wankadia <jun...@google.com>
    Gerrit-Comment-Date: Fri, 21 Jun 2024 19:48:15 +0000
    Gerrit-HasComments: No
    Gerrit-Has-Labels: Yes
    unsatisfied_requirement
    satisfied_requirement
    open
    diffy

    Paul Wankadia (Gerrit)

    unread,
    Jun 21, 2024, 3:50:33 PM (12 days ago) Jun 21
    to Paul Wankadia, Alex Chernyakhovsky, Perry Lorier, re2...@googlegroups.com

    Paul Wankadia voted Code-Review+2

    Code-Review+2
    Open in Gerrit

    Related details

    Attention set is empty
    Submit Requirements:
    • requirement satisfiedCode-Review
    • requirement satisfiedReview-Enforcement
    Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
    Gerrit-MessageType: comment
    Gerrit-Project: re2
    Gerrit-Branch: main
    Gerrit-Change-Id: Ib1250ec954c0fecdaed606c41bbbbe00ff7bc1de
    Gerrit-Change-Number: 63371
    Gerrit-PatchSet: 1
    Gerrit-Owner: Paul Wankadia <jun...@google.com>
    Gerrit-Reviewer: Alex Chernyakhovsky <ache...@google.com>
    Gerrit-Reviewer: Paul Wankadia <jun...@google.com>
    Gerrit-CC: Perry Lorier <per...@google.com>
    Gerrit-Comment-Date: Fri, 21 Jun 2024 19:50:28 +0000
    Gerrit-HasComments: No
    Gerrit-Has-Labels: Yes
    satisfied_requirement
    open
    diffy

    Paul Wankadia (Gerrit)

    unread,
    Jun 21, 2024, 3:50:38 PM (12 days ago) Jun 21
    to Paul Wankadia, Alex Chernyakhovsky, Perry Lorier, re2...@googlegroups.com

    Paul Wankadia submitted the change

    Change information

    Commit message:
    Even more setting up to run mypy as per #496.
    Change-Id: Ib1250ec954c0fecdaed606c41bbbbe00ff7bc1de
    Reviewed-by: Paul Wankadia <jun...@google.com>
    Reviewed-by: Alex Chernyakhovsky <ache...@google.com>
    Files:
    • M .github/workflows/python.yml
    • M python/setup.py
    Change size: M
    Delta: 2 files changed, 48 insertions(+), 35 deletions(-)
    Branch: refs/heads/main
    Submit Requirements:
    • requirement satisfiedCode-Review: +1 by Alex Chernyakhovsky, +2 by Paul Wankadia
    Open in Gerrit
    Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
    Gerrit-MessageType: merged
    Gerrit-Project: re2
    Gerrit-Branch: main
    Gerrit-Change-Id: Ib1250ec954c0fecdaed606c41bbbbe00ff7bc1de
    Gerrit-Change-Number: 63371
    Gerrit-PatchSet: 2
    open
    diffy
    satisfied_requirement
    Reply all
    Reply to author
    Forward
    0 new messages