Skip to content

Start abstracting proof-steps #1076

Start abstracting proof-steps

Start abstracting proof-steps #1076

Triggered via push February 4, 2025 17:41
Status Success
Total duration 6m 4s
Artifacts

haskell-ci.yml

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