Skip to content
Haskell-CI

Generalize the type of bmc #847

Sign in to view logs

Generalize the type of bmc

Generalize the type of bmc #847

Triggered via push November 2, 2024 02:01
@LeventErkokLeventErkok
pushed ad41023
master
Status Success
Total duration 7m 7s
Artifacts –

haskell-ci.yml

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