Merge pull request #12 from input-output-hk/bwbush/iogx #54

Sign in to view logs

Triggered via push February 8, 2024 20:46

bwbush

main

Status Success

Total duration 28m 39s

Billable time 29m

Artifacts –

ci.yaml

on: push

Typecheck Agda and generate Haskell