[typetools/checker-framework] 36730c: Add diagnostics for `ci-org-and-branch` and `git-c...

0 views
Skip to first unread message

Michael Ernst

unread,
May 25, 2026, 11:14:07 PM (1 hour ago) May 25
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 36730cb12bfd39f1a5743219c1ce81ee9f739e1d
https://github.com/typetools/checker-framework/commit/36730cb12bfd39f1a5743219c1ce81ee9f739e1d
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-05-25 (Mon, 25 May 2026)

Changed paths:
M .azure/azure-pipelines.yml
M .azure/defs.m4
M .circleci/config.yml
M .circleci/defs.m4
M .github/workflows/ci.yml
M .github/workflows/defs.m4

Log Message:
-----------
Add diagnostics for `ci-org-and-branch` and `git-changes`



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Reply all
Reply to author
Forward
0 new messages