[typetools/checker-framework] 9ed343: Rename environment variable

0 views

Skip to first unread message

unread,

Jul 4, 2024, 11:09:07 AM (12 days ago) Jul 4

to checker-fr...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 9ed343d62cd200556f3d8c9f46d43e28426c96d9
https://github.com/typetools/checker-framework/commit/9ed343d62cd200556f3d8c9f46d43e28426c96d9
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2024-07-04 (Thu, 04 Jul 2024)

Changed paths:
M checker/bin-devel/Dockerfile-README

Log Message:
-----------
Rename environment variable

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