Skip to content
Ubuntu build

[ breaking ] change fieldname _≟_ to _≈?_ in IsDecEquivalence #5521

Sign in to view logs

[ breaking ] change fieldname _≟_ to _≈?_ in IsDecEquivalence

[ breaking ] change fieldname _≟_ to _≈?_ in IsDecEquivalence #5521

Triggered via pull request March 3, 2026 10:50
@jamesmckinnajamesmckinna
synchronize #2952
jamesmckinna:issue2845
Status Success
Total duration 44m 10s
Artifacts –

ci-ubuntu.yml

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