CI

inScope #20

Sign in to view logs

Re-run triggered December 19, 2024 13:29

jespercockx

#11

EwenBC:master

Status Failure

Total duration 2m 32s

Artifacts –

nix-ci.yml

on: pull_request

Matrix: nix-build

Annotations

1 error and 2 warnings

Build Haskell library with nix (scope-hs)

Process completed with exit code 1.

Typecheck with Agda with nix (scope-lib)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Build Haskell library with nix (scope-hs)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636