Closed Watson1978 closed 1 year ago
This patch will fix lint error in https://github.com/ohler55/oj/actions/runs/5104692030/jobs/9175781272
Hmmm, looks like I need a little research.
This patch will fix lint error in https://github.com/ohler55/oj/actions/runs/5104692030/jobs/9175781272