Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

PG-1416, PG-829 Merge the map and keydata files #153

Merged
merged 7 commits into from
Mar 24, 2025
+219 −419

PG-829 Merge the map and keydata files

11f7635
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

PG-1416, PG-829 Merge the map and keydata files #153

PG-829 Merge the map and keydata files
11f7635
Select commit
Loading
Failed to load commit list.
Check
succeeded Mar 24, 2025 in 3m 54s
Set up job
0s
Clone repository
10s
Install dependencies
31s
Build postgres
2m 50s
Update typedefs
11s
Run pgindent
7s
Post Clone repository
0s
Complete job
0s