Build

coverage: Use OverloadedRecordDot instead of RecordWildCards #307

Sign in to view logs

Triggered via pull request May 20, 2024 13:41

wolfgangwalther

synchronize #2671

wolfgangwalther:overloaded-record-dot

Status Success

Total duration 11m 55s

Artifacts 5

build.yaml

on: pull_request

Nix - Linux static

Stack - FreeBSD from CirrusCI

Matrix: cabal

Matrix: stack

Annotations

2 warnings

Nix - Linux static

No push credentials found. Ignoring the 'useDaemon' option.

Nix - MacOS

No push credentials found. Ignoring the 'useDaemon' option.

Artifacts

Produced during runtime

Name	Size
postgrest-docker-x64 Expired	5.57 MB
postgrest-freebsd-x64 Expired	12.9 MB
postgrest-linux-static-x64 Expired	5.52 MB
postgrest-macos-x64 Expired	3.22 MB
postgrest-windows-x64 Expired	14.1 MB