Haskell-CI

a few more notes on Bitwuzla #665

Sign in to view logs

Triggered via push August 7, 2024 14:31

LeventErkok

master

Status Success

Total duration 5m 39s

Artifacts –

haskell-ci.yml

on: push

Matrix: linux