Skip to content
Check whitespace

Fix type for ≡-syntax in heterogeneous equality #746

Sign in to view logs

Fix type for ≡-syntax in heterogeneous equality

Fix type for ≡-syntax in heterogeneous equality #746

Re-run triggered October 5, 2024 17:14
@jamesmckinnajamesmckinna
#2494
ruifengx:master
Status Success
Total duration 13s
Artifacts –

whitespace.yml

on: pull_request
check-whitespace
4s
check-whitespace
Fit to window
Zoom out
Zoom in