[typetools/checker-framework]

5 views
Skip to first unread message

Michael Ernst

unread,
May 12, 2026, 10:35:59 AMMay 12
to checker-fr...@googlegroups.com
Branch: refs/heads/dependabot/uv/uv-c30c77f42d
Home: https://github.com/typetools/checker-framework

To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications

renovate[bot]

unread,
May 13, 2026, 12:24:50 PMMay 13
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/gradle-9.x

renovate[bot]

unread,
May 13, 2026, 10:38:31 PMMay 13
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.checkerframework-stubparser-3.x

renovate[bot]

unread,
May 15, 2026, 12:20:22 PMMay 15
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.ow2.asm-asm-9.x

renovate[bot]

unread,
May 15, 2026, 12:20:35 PMMay 15
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.diffplug.spotless-8.x

renovate[bot]

unread,
May 17, 2026, 6:36:52 PMMay 17
to checker-fr...@googlegroups.com

dependabot[bot]

unread,
May 21, 2026, 9:23:27 PMMay 21
to checker-fr...@googlegroups.com
Branch: refs/heads/dependabot/uv/uv-d665ee01e3

renovate[bot]

unread,
May 27, 2026, 3:40:30 PMMay 27
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.gorylenko.gradle-git-properties-3.x

renovate[bot]

unread,
May 27, 2026, 3:40:50 PMMay 27
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.ow2.asm-asm-9.x

renovate[bot]

unread,
May 27, 2026, 3:41:08 PMMay 27
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.apache.spark-spark-sql_2.13-4.x

renovate[bot]

unread,
May 28, 2026, 12:58:04 PMMay 28
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.diffplug.spotless-8.x

renovate[bot]

unread,
May 28, 2026, 12:58:26 PMMay 28
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.gradleup.shadow-9.x

renovate[bot]

unread,
May 30, 2026, 10:07:52 PMMay 30
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.gorylenko.gradle-git-properties-4.x

Michael Ernst

unread,
Jun 1, 2026, 5:18:45 PMJun 1
to checker-fr...@googlegroups.com

renovate[bot]

unread,
Jun 3, 2026, 1:09:41 PMJun 3
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/cimg-base-2026.x

renovate[bot]

unread,
Jun 4, 2026, 10:39:05 PMJun 4
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/biz.aqute.bnd.builder-7.x

renovate[bot]

unread,
Jun 11, 2026, 11:54:40 AMJun 11
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/jgit.version

renovate[bot]

unread,
Jun 13, 2026, 10:04:06 AMJun 13
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/error-prone-monorepo

renovate[bot]

unread,
Jun 17, 2026, 11:15:34 AMJun 17
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.diffplug.spotless-8.x

renovate[bot]

unread,
Jun 20, 2026, 1:21:27 PMJun 20
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/actions-checkout-7.x

renovate[bot]

unread,
Jun 20, 2026, 1:21:54 PMJun 20
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/gradle-9.x

renovate[bot]

unread,
Jun 28, 2026, 2:45:07 PMJun 28
to checker-fr...@googlegroups.com

renovate[bot]

unread,
Jun 28, 2026, 2:45:15 PMJun 28
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.gradleup.shadow-9.x

renovate[bot]

unread,
Jul 2, 2026, 12:30:01 PMJul 2
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.diffplug.spotless-8.x

renovate[bot]

unread,
Jul 2, 2026, 12:30:46 PMJul 2
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/cimg-base-2026.x

Michael Ernst

unread,
Jul 7, 2026, 2:38:38 PMJul 7
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.gradleup.shadow-9.x

renovate[bot]

unread,
Jul 13, 2026, 8:52:34 PMJul 13
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.bouncycastle-bcprov-jdk18on-1.x

renovate[bot]

unread,
Jul 15, 2026, 2:05:38 PMJul 15
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.apache.spark-spark-sql_2.13-4.x

renovate[bot]

unread,
Jul 16, 2026, 11:34:55 AMJul 16
to checker-fr...@googlegroups.com

renovate[bot]

unread,
Jul 17, 2026, 12:53:47 PMJul 17
to checker-fr...@googlegroups.com

renovate[bot]

unread,
Jul 18, 2026, 11:21:10 AMJul 18
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.gradleup.shadow-9.x

Michael Ernst

unread,
Jul 18, 2026, 11:23:00 AMJul 18
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.apache.spark-spark-sql_2.13-4.x

renovate[bot]

unread,
Jul 24, 2026, 12:24:50 PMJul 24
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.gradleup.shadow-9.x

Michael Ernst

unread,
Jul 24, 2026, 12:32:01 PMJul 24
to checker-fr...@googlegroups.com
Branch: refs/heads/linting

renovate[bot]

unread,
Jul 25, 2026, 7:13:14 AMJul 25
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/jgit.version

Michael Ernst

unread,
Jul 25, 2026, 1:39:24 PMJul 25
to checker-fr...@googlegroups.com
Branch: refs/heads/add-claude-github-actions-1785001141597

Michael Ernst

unread,
Jul 25, 2026, 3:16:58 PMJul 25
to checker-fr...@googlegroups.com

renovate[bot]

unread,
Jul 26, 2026, 3:17:03 PMJul 26
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/actions-checkout-7.x

renovate[bot]

unread,
Jul 29, 2026, 10:49:31 AMJul 29
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/cimg-python-3.x

renovate[bot]

unread,
Jul 30, 2026, 10:44:21 AMJul 30
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/actions-setup-java-5.x

Michael Ernst

unread,
Jul 30, 2026, 1:19:22 PMJul 30
to checker-fr...@googlegroups.com
Branch: refs/heads/add-claude-github-actions-1785001141597

Michael Ernst

unread,
Jul 30, 2026, 1:19:58 PMJul 30
to checker-fr...@googlegroups.com
Branch: refs/heads/revert-5198-issue5174-doc

renovate[bot]

unread,
Aug 1, 2026, 10:42:28 AMAug 1
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/io.github.classgraph-classgraph-4.x

renovate[bot]

unread,
Aug 1, 2026, 11:00:24 AMAug 1
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.diffplug.spotless-8.x

renovate[bot]

unread,
Aug 1, 2026, 11:36:50 AMAug 1
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/j178-prek-action-3.x

renovate[bot]

unread,
Aug 2, 2026, 2:19:43 AMAug 2
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/cimg-base-2026.x

renovate[bot]

unread,
Aug 2, 2026, 9:40:51 AMAug 2
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.google.googlejavaformat-google-java-format-1.x

Michael Ernst

unread,
Aug 7, 2026, 7:01:21 AMAug 7
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/gradle-9.x

Michael Ernst

unread,
Aug 7, 2026, 7:02:39 AMAug 7
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.bouncycastle-bcprov-jdk18on-1.x

renovate[bot]

unread,
Aug 7, 2026, 9:18:58 PMAug 7
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.plumelib-javac-parse-1.x

Michael Ernst

unread,
Aug 7, 2026, 11:04:10 PMAug 7
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.plumelib-hashmap-util-2.x

Michael Ernst

unread,
Aug 8, 2026, 1:07:01 PMAug 8
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.plumelib-options-3.x

Michael Ernst

unread,
Aug 8, 2026, 1:07:17 PMAug 8
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/io.github.classgraph-classgraph-4.x

Michael Ernst

unread,
Aug 8, 2026, 1:07:45 PMAug 8
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.plumelib-require-javadoc-3.x

renovate[bot]

unread,
Aug 8, 2026, 1:08:44 PMAug 8
to checker-fr...@googlegroups.com

Michael Ernst

unread,
Aug 8, 2026, 9:14:12 PMAug 8
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/io.github.classgraph-classgraph-4.x

Michael Ernst

unread,
Aug 12, 2026, 10:38:16 PMAug 12
to checker-fr...@googlegroups.com

Michael Ernst

unread,
Aug 13, 2026, 12:44:15 PMAug 13
to checker-fr...@googlegroups.com

renovate[bot]

unread,
Aug 17, 2026, 1:54:56 PMAug 17
to checker-fr...@googlegroups.com

renovate[bot]

unread,
Aug 18, 2026, 11:04:08 AMAug 18
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.diffplug.spotless-8.x

renovate[bot]

unread,
Aug 19, 2026, 9:38:10 AMAug 19
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/biz.aqute.bnd.builder-7.x

renovate[bot]

unread,
Aug 20, 2026, 11:15:23 AMAug 20
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/gradle-9.x

renovate[bot]

unread,
Aug 21, 2026, 8:38:41 PMAug 21
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/io.github.classgraph-classgraph-4.x

Michael Ernst

unread,
Aug 22, 2026, 2:52:46 PMAug 22
to checker-fr...@googlegroups.com
Branch: refs/heads/linting5

renovate[bot]

unread,
Aug 27, 2026, 4:07:03 PMAug 27
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/io.github.classgraph-classgraph-4.x

Suzanne Millstein

unread,
Aug 27, 2026, 4:07:20 PMAug 27
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/net.ltgt.errorprone-5.x

Suzanne Millstein

unread,
Aug 28, 2026, 3:04:08 PMAug 28
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.diffplug.spotless-8.x

Michael Ernst

unread,
Aug 31, 2026, 10:31:05 AMAug 31
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/actions-setup-java-6.x

renovate[bot]

unread,
Sep 2, 2026, 12:26:24 PMSep 2
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/cimg-base-2026.x

renovate[bot]

unread,
Sep 3, 2026, 7:32:49 AMSep 3
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.projectlombok-lombok-1.x

renovate[bot]

unread,
Sep 5, 2026, 10:05:17 AMSep 5
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/com.diffplug.spotless-8.x

Michael Ernst

unread,
Sep 5, 2026, 10:05:49 AMSep 5
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/cimg-base-2026.x

renovate[bot]

unread,
Sep 8, 2026, 2:46:25 AMSep 8
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/actions-cache-6.x

Michael Ernst

unread,
Sep 9, 2026, 12:17:22 PMSep 9
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/jgit.version

Michael Ernst

unread,
Sep 9, 2026, 12:17:50 PMSep 9
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/io.github.classgraph-classgraph-4.x

renovate[bot]

unread,
Sep 9, 2026, 12:20:02 PMSep 9
to checker-fr...@googlegroups.com

renovate[bot]

unread,
Sep 11, 2026, 12:07:19 PMSep 11
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/org.bouncycastle-bcprov-jdk18on-1.x

renovate[bot]

unread,
Sep 16, 2026, 10:38:33 AMSep 16
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/java-jdk-25.x

Michael Ernst

unread,
Sep 16, 2026, 2:56:47 PMSep 16
to checker-fr...@googlegroups.com
Branch: refs/heads/resolve-type-name-memoize

Michael Ernst

unread,
Sep 16, 2026, 2:56:49 PMSep 16
to checker-fr...@googlegroups.com
Branch: refs/heads/ajava-remove-annotations-from-ast

Michael Ernst

unread,
Sep 16, 2026, 2:56:50 PMSep 16
to checker-fr...@googlegroups.com
Branch: refs/heads/ajava-omit-irrelevant

Michael Ernst

unread,
Sep 16, 2026, 2:56:53 PMSep 16
to checker-fr...@googlegroups.com
Branch: refs/heads/resolve-type-name-local-anonymous

Michael Ernst

unread,
Sep 16, 2026, 2:56:54 PMSep 16
to checker-fr...@googlegroups.com
Branch: refs/heads/resolve-type-name-member-scope

Michael Ernst

unread,
Sep 16, 2026, 3:16:01 PMSep 16
to checker-fr...@googlegroups.com
Branch: refs/heads/ainfer-relevance-shared-wpi-helpers

Michael Ernst

unread,
Sep 16, 2026, 3:16:06 PMSep 16
to checker-fr...@googlegroups.com
Branch: refs/heads/relevance-type-variable-upper-bound

Michael Ernst

unread,
Sep 16, 2026, 9:53:52 PMSep 16
to checker-fr...@googlegroups.com
Branch: refs/heads/resolve-type-name-memoize

Michael Ernst

unread,
Sep 16, 2026, 9:54:07 PMSep 16
to checker-fr...@googlegroups.com
Branch: refs/heads/ajava-remove-annotations-from-ast

Michael Ernst

unread,
Sep 17, 2026, 12:14:20 AMSep 17
to checker-fr...@googlegroups.com
Branch: refs/heads/ainfer-relevance-cleanup

Michael Ernst

unread,
Sep 17, 2026, 2:35:09 PMSep 17
to checker-fr...@googlegroups.com
Branch: refs/heads/ainfer-relevance-shared-wpi-helpers

Michael Ernst

unread,
Sep 17, 2026, 3:07:04 PMSep 17
to checker-fr...@googlegroups.com
Branch: refs/heads/ajava-omit-irrelevant

Michael Ernst

unread,
Sep 17, 2026, 3:11:30 PMSep 17
to checker-fr...@googlegroups.com
Branch: refs/heads/javaparserutil-unit-tests

Michael Ernst

unread,
Sep 17, 2026, 3:13:42 PMSep 17
to checker-fr...@googlegroups.com
Branch: refs/heads/resolve-type-name-local-anonymous

Michael Ernst

unread,
Sep 17, 2026, 3:14:23 PMSep 17
to checker-fr...@googlegroups.com
Branch: refs/heads/resolve-member-type-inheritance

Michael Ernst

unread,
Sep 17, 2026, 3:14:47 PMSep 17
to checker-fr...@googlegroups.com
Branch: refs/heads/relevance-type-variable-upper-bound

Michael Ernst

unread,
Sep 17, 2026, 3:15:15 PMSep 17
to checker-fr...@googlegroups.com
Branch: refs/heads/resolve-type-name-member-scope

renovate[bot]

unread,
Sep 18, 2026, 5:36:51 PMSep 18
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/gradle-9.x

mernstcheckerframework

unread,
Sep 22, 2026, 2:11:30 AMSep 22
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/ubuntu-26.x

Michael Ernst

unread,
Sep 22, 2026, 5:30:27 PMSep 22
to checker-fr...@googlegroups.com
Branch: refs/heads/linting7

Michael Ernst

unread,
Sep 23, 2026, 10:53:04 AMSep 23
to checker-fr...@googlegroups.com
Branch: refs/heads/renovate/gradle-9.x

Michael Ernst

unread,
Sep 23, 2026, 12:45:22 PMSep 23
to checker-fr...@googlegroups.com
Branch: refs/heads/ajava-duplicate-filename
It is loading more messages.
0 new messages