Skip to content

Add lean style math symbol completions #311

Add lean style math symbol completions

Add lean style math symbol completions #311

Re-run triggered June 17, 2024 17:47
Status Failure
Total duration 1m 40s
Artifacts

pr-quality-check.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
quality-check
Process completed with exit code 1.