Skip to content
Ubuntu build

Add sum-↭ to Data.List.Relation.Binary.Permutation.Propositional.Properties #3798

Sign in to view logs

Add sum-↭ to Data.List.Relation.Binary.Permutation.Propositional.Properties

Add sum-↭ to Data.List.Relation.Binary.Permutation.Propositional.Properties #3798

Triggered via pull request November 13, 2024 09:17
@TanebTaneb
opened #2498
sum-permutations
Status Success
Total duration 51m 5s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-stdlib
50m 55s
test-stdlib
Fit to window
Zoom out
Zoom in