Skip to content

[ fix ] assumption name in Data.Product.Relation.Binary.Lex.Strict #2730

[ fix ] assumption name in Data.Product.Relation.Binary.Lex.Strict

[ fix ] assumption name in Data.Product.Relation.Binary.Lex.Strict #2730

Triggered via pull request February 27, 2026 11:33
Status Success
Total duration 4m 10s
Artifacts

haskell-ci.yml

on: pull_request
Matrix: linux
Fit to window
Zoom out
Zoom in