[typetools/checker-framework] 7599de: CircleCI configuration tweaks

0 views

Skip to first unread message

unread,

Oct 14, 2025, 10:03:40 AM (yesterday) Oct 14

to checker-fr...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 7599dee755eddeb0ea9e8203a93db99ff70d3c2a
https://github.com/typetools/checker-framework/commit/7599dee755eddeb0ea9e8203a93db99ff70d3c2a
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-14 (Tue, 14 Oct 2025)

Changed paths:
M .circleci/config.yml
M .circleci/config.yml.m4
M .circleci/defs.m4

Log Message:
-----------
CircleCI configuration tweaks

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