Skip to content
Test

coverage: Use OverloadedRecordDot instead of RecordWildCards #302

Sign in to view logs

coverage: Use OverloadedRecordDot instead of RecordWildCards

coverage: Use OverloadedRecordDot instead of RecordWildCards #302

Triggered via pull request May 20, 2024 13:41
@wolfgangwaltherwolfgangwalther
synchronize #2671
wolfgangwalther:overloaded-record-dot
Status Success
Total duration 7m 35s
Artifacts 1

test.yaml

on: pull_request
Coverage
6m 18s
Coverage
Memory
3m 19s
Memory
Loadtest
7m 25s
Loadtest
Matrix: postgres
Fit to window
Zoom out
Zoom in

Annotations

11 warnings
Memory
No push credentials found. Ignoring the 'useDaemon' option.
PG 13
No push credentials found. Ignoring the 'useDaemon' option.
PG 14
No push credentials found. Ignoring the 'useDaemon' option.
PG 12
No push credentials found. Ignoring the 'useDaemon' option.
PG 11
No push credentials found. Ignoring the 'useDaemon' option.
PG 16
No push credentials found. Ignoring the 'useDaemon' option.
PG 15
No push credentials found. Ignoring the 'useDaemon' option.
PG 10
No push credentials found. Ignoring the 'useDaemon' option.
Coverage
No push credentials found. Ignoring the 'useDaemon' option.
PG 9_6
No push credentials found. Ignoring the 'useDaemon' option.
Loadtest
No push credentials found. Ignoring the 'useDaemon' option.

Artifacts

Produced during runtime
Name Size
loadtest.md Expired
597 Bytes