Skip to content

Convert CREATE INDEX SQL into pgroll operation #2856

Convert CREATE INDEX SQL into pgroll operation

Convert CREATE INDEX SQL into pgroll operation #2856

Triggered via pull request January 2, 2025 11:09
Status Success
Total duration 1m 58s
Artifacts 1

build.yml

on: pull_request
Matrix: examples
Matrix: test
cross-platform build
1m 51s
cross-platform build
lint
16s
lint
type generation
15s
type generation
check ledger
2s
check ledger
dead code check
52s
dead code check
license check
6s
license check
validate examples JSON
8s
validate examples JSON
release
0s
release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
platform-binaries
57.8 MB