lint and suggest

fix merge conflict for lean#8883 #191

Sign in to view logs

Triggered via pull request September 16, 2025 21:26

JovanGerb

opened #65

JovanGerb:Jovan-8883-fix

Status Skipped

Total duration 3s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request