Skip to content
Haskell CI

First-Order Logic #14

Sign in to view logs

First-Order Logic

First-Order Logic #14

Triggered via pull request May 22, 2024 08:58
@dopamanedopamane
synchronize #3
first-order-logic
Status Success
Total duration 2m 11s
Artifacts –

haskell.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in