Skip to content
lint

Merge branch 'main' into pgvector_16 #1183

Sign in to view logs

Merge branch 'main' into pgvector_16

Merge branch 'main' into pgvector_16 #1183

Triggered via push December 6, 2024 09:06
@puehringerpuehringer
pushed 21b371c
pgvector_16
Status Cancelled
Total duration 58s
Artifacts –

lint.yml

on: push
lint
50s
lint
Fit to window
Zoom out
Zoom in

Annotations

2 errors
lint
Canceling since a higher priority waiting request for 'lint-refs/heads/pgvector_16' exists
lint
The operation was canceled.