Lint

Clearing diagnostics of transient files after a close event by mimicking a delete #2501

Sign in to view logs

Triggered via pull request November 26, 2025 13:12

DavyLandman

synchronize #902

fix-clearing-unknown-files

Status Success

Total duration 7m 32s

Artifacts –

lint.yaml

on: pull_request

checker-framework

Matrix: githubql

Annotations

1 notice

Processed 1 files: No issues found