Skip to content
Haskell-CI

KD: Few more simple proofs #726

Sign in to view logs

KD: Few more simple proofs

KD: Few more simple proofs #726

Triggered via push September 10, 2024 18:46
@LeventErkokLeventErkok
pushed 2469b57
master
Status Success
Total duration 5m 47s
Artifacts –

haskell-ci.yml

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