WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content
PR Closed

Fix annotations when coming from java.lang (like @Override) #72

Sign in to view logs

Fix annotations when coming from java.lang (like @Override)

Fix annotations when coming from java.lang (like @Override) #72

Triggered via pull request November 13, 2025 18:45
@shawn-hurleyshawn-hurley
closed #113
Status Skipped
Total duration 2s
Artifacts –

pr-closed.yaml

on: pull_request_target
cherry_pick_job  /  branches
cherry_pick_job / branches
Matrix: cherry_pick_job / cherry-pick
Waiting for pending jobs
Fit to window
Zoom out
Zoom in