1336d1030c31b58420d74337db14431d07c1647f-PR-571
80%
main: 72%

Ran 08 Jul 2024 04:22PM UTC

Jobs 1

Files 246

Run time 1min

Badge

Embed ▾

Committed 08 Jul 2024 04:17PM UTC coverage: 80.449%. Remained the same

Build # 1336d1030c31b58420d74337db14431d07c1647f-PR-571

Build Type

Pull #571

github

Committed by

davidebriani

Commit Message

Chore: use the same Postgres version between dev and prod

Update development tooling to use Postgres v13, to be in line with the
minimum version supported and advertised for production environments.

Signed-off-by: Davide Briani <davide.briani@secomind.com>

Pull Request Pull Request #571: Specify Postgres version requirement in docs

Coverage Stats

1218 of 1514 relevant lines covered (80.45%)

112.21 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1336d1030c31b58420d74337db14431d07c1647f-PR-571.1	08 Jul 2024 04:22PM UTC	0	80.45	GitHub Action Run

Source Files on build 1336d1030c31b58420d74337db14431d07c1647f-PR-571

Detailed source file information is not available for this build.

edgehog-device-manager / edgehog / 1336d1030c31b58420d74337db14431d07c1647f-PR-571
80%
main: 72%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1336d1030c31b58420d74337db14431d07c1647f-PR-571

edgehog-device-manager / edgehog / 1336d1030c31b58420d74337db14431d07c1647f-PR-571 80% main: 72%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1336d1030c31b58420d74337db14431d07c1647f-PR-571

edgehog-device-manager / edgehog / 1336d1030c31b58420d74337db14431d07c1647f-PR-571
80%
main: 72%

README BADGES
x