Skip to content

Update z3 tested date #556

Update z3 tested date

Update z3 tested date #556

Triggered via push January 5, 2024 19:42
Status Success
Total duration 4m 58s
Artifacts

haskell-ci.yml

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