Skip to content
Haskell-CI

KD Induction: Induct over the last element. Easier to use #845

Sign in to view logs

KD Induction: Induct over the last element. Easier to use

KD Induction: Induct over the last element. Easier to use #845

Triggered via push October 9, 2024 18:35
@LeventErkokLeventErkok
pushed becf846
master
Status Success
Total duration 6m 5s
Artifacts –

haskell-ci.yml

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