Skip to content

Typing rules changes #61

Typing rules changes

Typing rules changes #61

Triggered via pull request October 30, 2024 13:18
@EwenBCEwenBC
synchronize #47
EwenBC:main
Status Failure
Total duration 1m 35s
Artifacts

nix-ci.yml

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

Annotations

1 error
Build Haskell library with nix (agda-core-hs)
Process completed with exit code 1.