checker-framework icon indicating copy to clipboard operation
checker-framework copied to clipboard
verified publisher icon typetools

Run CI for collections of resources

Open skehrli opened this issue 1 year ago • 1 comments

don't merge - only for running the CI build with results visible to Mike

skehrli avatar May 20 '24 19:05 skehrli

@skehrli There should be a box for "draft" that you can check in this pull request.

mernst avatar May 20 '24 23:05 mernst