Skip to content
Ubuntu build

Fix type for ≡-syntax in heterogeneous equality #3776

Sign in to view logs

Fix type for ≡-syntax in heterogeneous equality

Fix type for ≡-syntax in heterogeneous equality #3776

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

ci-ubuntu.yml

on: pull_request
test-stdlib
36m 6s
test-stdlib
Fit to window
Zoom out
Zoom in