Skip to content

Add --tableaux cmd line switch #29

Add --tableaux cmd line switch

Add --tableaux cmd line switch #29

Triggered via pull request May 28, 2024 10:10
Status Success
Total duration 2m 32s
Artifacts

haskell.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in