Skip to content

Delete bors.toml in favor of GitHub merge queues #2750

Delete bors.toml in favor of GitHub merge queues

Delete bors.toml in favor of GitHub merge queues #2750

Triggered via pull request August 21, 2023 23:08
Status Success
Total duration 5m 52s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test.yml

on: pull_request
Matrix: geo
Matrix: geo-fuzz
Matrix: geo-postgis
Matrix: geo-types
Matrix: lint
ci result
1s
ci result
ci result
0s
ci result
Fit to window
Zoom out
Zoom in