Skip to content

Merge pull request #40 from phadej/dpll-d #45

Merge pull request #40 from phadej/dpll-d

Merge pull request #40 from phadej/dpll-d #45

Triggered via push July 25, 2024 15:17
Status Success
Total duration 3m 23s
Artifacts

haskell-ci.yml

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