Skip to content

Convert CREATE INDEX SQL into pgroll operation #2822

Convert CREATE INDEX SQL into pgroll operation

Convert CREATE INDEX SQL into pgroll operation #2822

Triggered via pull request December 23, 2024 08:48
Status Success
Total duration 5m 37s
Artifacts 1

build.yml

on: pull_request
Matrix: examples
Matrix: test
cross-platform build
5m 28s
cross-platform build
lint
52s
lint
type generation
20s
type generation
check ledger
5s
check ledger
dead code check
1m 0s
dead code check
license check
5s
license check
validate examples JSON
5s
validate examples JSON
release
0s
release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
platform-binaries
57.8 MB