Skip to content
Check whitespace

Fix type for ≡-syntax in heterogeneous equality (#2494) #753

Sign in to view logs

Fix type for ≡-syntax in heterogeneous equality (#2494)

Fix type for ≡-syntax in heterogeneous equality (#2494) #753

Triggered via push October 7, 2024 03:49
@github-merge-queuegithub-merge-queue[bot]
pushed 4739d4a
master
Status Success
Total duration 18s
Artifacts –

whitespace.yml

on: push
check-whitespace
8s
check-whitespace
Fit to window
Zoom out
Zoom in