Skip to content
Haskell-CI

KD: Basic examples, including first-order logic #822

Sign in to view logs

KD: Basic examples, including first-order logic

KD: Basic examples, including first-order logic #822

Triggered via push September 22, 2024 01:39
@LeventErkokLeventErkok
pushed 2e70ba5
master
Status Success
Total duration 5m 53s
Artifacts –

haskell-ci.yml

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