Typing rules changes (#47) #62

Sign in to view logs

Triggered via push November 4, 2024 13:16

EwenBC

main

Status Failure

Total duration 2m 42s

Artifacts –

nix-ci.yml

on: push

Matrix: nix-build

Annotations

1 error

Build Haskell library with nix (agda-core-hs)

Process completed with exit code 1.