Merge pull request #1048 from RobWalt/chore/cleanup-remove-unused-code #2771

Sign in to view logs

Triggered via push August 25, 2023 20:17

github-merge-queue[bot]

main

Status Success

Total duration 5m 32s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test.yml

on: push

Matrix: geo

Matrix: geo-fuzz

Matrix: geo-postgis

Matrix: geo-types

Matrix: lint