Skip to content

Unused implicit at Data.List.Fresh.Relation.Unary.Any.Properties (#… #5370

Unused implicit at Data.List.Fresh.Relation.Unary.Any.Properties (#…

Unused implicit at Data.List.Fresh.Relation.Unary.Any.Properties (#… #5370

Triggered via push January 23, 2026 10:27
Status Success
Total duration 41m 20s
Artifacts

ci-ubuntu.yml

on: push
Fit to window
Zoom out
Zoom in