[typetools/checker-framework] 0accc2: Add CircleCI setup instructions

0 views
Skip to first unread message

Yuki Yang

unread,
Apr 29, 2026, 10:15:44 PM (3 days ago) Apr 29
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 0accc20f6b0559232fb6b45abd2b45bd0c7db529
https://github.com/typetools/checker-framework/commit/0accc20f6b0559232fb6b45abd2b45bd0c7db529
Author: Yuki Yang <106207451+...@users.noreply.github.com>
Date: 2026-04-30 (Thu, 30 Apr 2026)

Changed paths:
M docs/developer/developer-manual.html
M docs/manual/contributors.tex

Log Message:
-----------
Add CircleCI setup instructions



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