Skip to content
CI

Differentiation of TermS and Subst #91

Sign in to view logs

Differentiation of TermS and Subst

Differentiation of TermS and Subst #91

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

nix-ci.yml

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

Annotations

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