Skip to content
Haskell-CI

[ deprecate ] names for deMorgan lemmas in Data.Fin.Properties #2437

Sign in to view logs

[ deprecate ] names for deMorgan lemmas in Data.Fin.Properties

[ deprecate ] names for deMorgan lemmas in Data.Fin.Properties #2437

Triggered via pull request October 26, 2025 08:49
@jamesmckinnajamesmckinna
synchronize #2837
jamesmckinna:deMorgan-Fin
Status Success
Total duration 2m 52s
Artifacts –

haskell-ci.yml

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