Skip to content
(Optional) Nix dev env, Linux, main

Merge pull request #1108 from sorki/srk/bounds/free #2441

Sign in to view logs

Merge pull request #1108 from sorki/srk/bounds/free

Merge pull request #1108 from sorki/srk/bounds/free #2441

Triggered via push January 16, 2024 07:47
@sorkisorki
pushed d19d561
master
Status Success
Total duration 5m 45s
Artifacts –

Optional-Nix-dev-env-main.yml

on: push
Nixpkgs GHC 8.8
4m 7s
Nixpkgs GHC 8.8
Nixpkgs GHC (8.10), strict quality build, SDist, Optimizations, Benchmark, Haddock, Completions
5m 35s
Nixpkgs GHC (8.10), strict quality build, SDist, Optimizations, Benchmark, Haddock, Completions
Nix-shell & supplied locall project Hoogle DB
1m 53s
Nix-shell & supplied locall project Hoogle DB
Fit to window
Zoom out
Zoom in

Annotations

1 error
Nixpkgs GHC 8.8
Process completed with exit code 1.