[typetools/checker-framework] dd8381: Set up GitHub Actions CI

[Yuki Yang]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: dd8381c0344e7a3befb65c1e13b19b37aeb636c7
https://github.com/typetools/checker-framework/commit/dd8381c0344e7a3befb65c1e13b19b37aeb636c7
Author: Yuki Yang <106207451+...@users.noreply.github.com>
Date: 2026-04-29 (Wed, 29 Apr 2026)

Changed paths:
A .github/workflows/Makefile
A .github/workflows/ci.yml
A .github/workflows/ci.yml.m4
A .github/workflows/defs.m4
M docs/developer/developer-manual.html

Log Message:
-----------
Set up GitHub Actions CI

Co-authored-by: Michael Ernst <mer...@cs.washington.edu>



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