Skip to content

Merge pull request #2291 from joto/ref-middle #1900

Merge pull request #2291 from joto/ref-middle

Merge pull request #2291 from joto/ref-middle #1900

ubuntu20-pg13-gcc10-release

succeeded Jan 13, 2025 in 10m 58s
Set up job
1s
Run actions/checkout@v4
4s
Run /./.github/actions/ubuntu-prerequisites
1m 38s
Run /./.github/actions/linux-cmake
5s
Run /./.github/actions/build-and-test
9m 3s
Post Run actions/checkout@v4
0s
Complete job
0s