Skip to content
Haskell-CI

[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrelevant #2683

Sign in to view logs

[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrelevant

[ refactor ] Data.Nat.Properties.∸-suc to make m≤n argument irrelevant #2683

Triggered via pull request February 10, 2026 22:54
@jamesmckinnajamesmckinna
synchronize #2939
jamesmckinna:refactor-monus-suc
Status Success
Total duration 2m 54s
Artifacts –

haskell-ci.yml

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