Skip to content
Haskell-CI

Mention openSMT #537

Sign in to view logs

Mention openSMT

Mention openSMT #537

Triggered via push November 28, 2023 22:42
@LeventErkokLeventErkok
pushed 706cda0
master
Status Success
Total duration 4m 43s
Artifacts –

haskell-ci.yml

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