Skip to content
Haskell-CI

Add SS' :: SNat n -> SNat (S n) #117

Sign in to view logs

Add SS' :: SNat n -> SNat (S n)

Add SS' :: SNat n -> SNat (S n) #117

Triggered via pull request November 9, 2024 11:37
@phadejphadej
opened #114
explict-ss
Status Failure
Total duration 15m 15s
Artifacts –

haskell-ci.yml

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

Annotations

1 error
Haskell-CI - Linux - ghc-9.4.8
Process completed with exit code 1.