Haskell-CI

KD: ChainLemma: User implication for boolean steps #829

Sign in to view logs

Triggered via push September 22, 2024 21:05

LeventErkok

master

Status Success

Total duration 5m 45s

Artifacts –

haskell-ci.yml

on: push

Matrix: linux