Skip to content
CI

Differentiation of TermS and Subst #96

Sign in to view logs

Differentiation of TermS and Subst

Differentiation of TermS and Subst #96

Triggered via pull request March 19, 2025 09:16
@EwenBCEwenBC
synchronize #49
EwenBC:telescope-split
Status Failure
Total duration 1m 16s
Artifacts –

nix-ci.yml

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

Annotations

2 errors
Typecheck with Agda with nix (agda-core-lib)
Process completed with exit code 1.
Build Haskell library with nix (agda-core-hs)
Process completed with exit code 1.