[typetools/checker-framework] e3c400: Diagnostics for `git-scripts` scripts

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: e3c400894b5bf16335004a274ee65f6dfe3836b7
https://github.com/typetools/checker-framework/commit/e3c400894b5bf16335004a274ee65f6dfe3836b7
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:
-----------
Diagnostics for `git-scripts` scripts



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