Skip to content

KD: Rearrange list proofs #707

KD: Rearrange list proofs

KD: Rearrange list proofs #707

Triggered via push September 5, 2024 19:39
Status Success
Total duration 5m 51s
Artifacts

haskell-ci.yml

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