Skip to content
CI

Differentiation of TermS and Subst #103

Sign in to view logs

Differentiation of TermS and Subst

Differentiation of TermS and Subst #103

Triggered via pull request March 27, 2025 16:51
@EwenBCEwenBC
synchronize #49
EwenBC:telescope-split
Status Failure
Total duration 1m 5s
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.