reverted changes #25

Sign in to view logs

Triggered via push April 13, 2024 17:56

release-2.6.4.3-base

Status Failure

Total duration 3m 58s

Artifacts –

haddock.yml

on: push

Matrix: build

Annotations

2 errors and 1 warning

build (3.10, 9.8.1, ubuntu-22.04): src/full/Agda/Interaction/Highlighting/Sexp/Base.hs#L63

Could not find module ‘Agda.Utils.Pretty’.

build (3.10, 9.8.1, ubuntu-22.04)

Process completed with exit code 1.

build (3.10, 9.8.1, ubuntu-22.04)

The process '/usr/bin/git' failed with exit code 128