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

chore: add CI lint and build test #41

Merged
merged 10 commits into from
Nov 5, 2024
+189 −10
Merged

chore: add CI lint and build test #41

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
2f6975a
chore: add CI lint and build test
kemingy Nov 1, 2024
591c192
Merge branch 'main' into cilint
kemingy Nov 1, 2024
6c6c2fe
fix typo
kemingy Nov 1, 2024
5f58f23
fix pgrx build dependencies
kemingy Nov 1, 2024
919ebce
use pgrx docker image to accelerate the dev-build/clippy/test
kemingy Nov 1, 2024
d98106b
Merge branch 'main' into cilint
kemingy Nov 4, 2024
a4656b1
fix pgrx docker image ubuntu 22.04 aarch64
kemingy Nov 4, 2024
f6b9d2a
address commments
kemingy Nov 4, 2024
35b6f23
Update .github/workflows/style.yml
kemingy Nov 4, 2024
0f5c71e
enable sccache
kemingy Nov 5, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'main' into cilint
@kemingy
kemingy committed Nov 4, 2024
commit d98106bbaf338fbce0ac265ee537687db8a60075

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.