Check github actions

erl_lint: Mark records used in record_info/2 as used #9341

Sign in to view logs

Triggered via pull request August 12, 2026 08:21

jhogberg

opened #11470

jhogberg:john/compiler/fix-unused-record-warning/ERIERL-1345/OTP-20301

Status Success

Total duration 19s

Artifacts –

github-actions-checker.yaml

on: pull_request