Issue #13783: Fix Typo #17

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via push November 30, 2023 11:40

piyush-1234

master

Status Skipped

Total duration 5s

Artifacts –

checker-framework.yml

on: push

Matrix: check