Skip to content
Haskell-CI

improve pow axiomatization #843

Sign in to view logs

improve pow axiomatization

improve pow axiomatization #843

Triggered via push October 8, 2024 14:37
@LeventErkokLeventErkok
pushed 14b3777
master
Status Success
Total duration 6m 8s
Artifacts –

haskell-ci.yml

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