Commit graph

26 commits

Author SHA1 Message Date
Jussi Saurio
7e16c235af Clear test db's WAL too in clone_test_db.sh 2025-05-26 22:00:39 +03:00
Piotr Rzysko
ad9d044a04 Add CSV extension 2025-05-21 09:22:59 +02:00
PThorpe92
f128887348
Add script to create clone of testing/testing.db to allow for writes in tests 2025-05-17 16:11:16 -04:00
Pekka Enberg
31677c9c94 scripts/antithesis: Build Docker image for x86-64 2025-04-24 20:55:30 +03:00
Jussi Saurio
3bbd443286 python: add UV project for 'scripts'
mainly so i don't have to install pygithub every time i want to
`uv run scripts/merge-pr.py`
2025-04-23 10:32:38 +03:00
PThorpe92
570253b29f
Adjust limbo run script to log to file during tests if RUST_LOG set 2025-04-08 19:32:51 -04:00
Pekka Enberg
4342438801 scripts: Add more npm packages to update-version.py 2025-04-03 10:43:28 +03:00
Pekka Enberg
d9562a3d82 Add update-version.py script
Simplifies version bumping.
2025-04-02 09:31:28 +03:00
Pekka Enberg
7832ae22df Enable pretty mode in shell by default
Fixes #929
2025-03-22 08:10:26 +02:00
Pekka Enberg
52b546ff64 Add limbo_ext_tests to crates 2025-03-19 19:00:12 +02:00
Pekka Enberg
4a3cbd6fa3 Add limbo_completion to crates 2025-03-19 18:58:21 +02:00
Pekka Enberg
acf0fb4425 scripts: Add missing parser crate to publish-crates.sh 2025-03-05 16:56:50 +02:00
Pekka Enberg
cedfa92b22 Merge 'Add sqlean ipaddr extension' from EmNudge
Relatively simple one, although I notice we don't have a lot of testing
here. The extensions have all their tests in the python cli extension
tests. Do we want to keep it that way or motivate inline rust tests for
these modules?

Closes #1081
2025-03-04 10:21:11 +02:00
Pekka Enberg
be4014a1df Initial pass on Antithesis testing
This adds a "limbo_stress" tool for stress testing Limbo in
non-deterministic way together with support code to run the tests under
Antithesis (which makes them deterministic). The stress tester does not
really do anything useful yet, this is just a step to make sure we can
run tests under Antithesis.
2025-03-04 09:29:57 +02:00
EmNudge
116350d139 Add ipaddr extension 2025-03-02 16:03:46 -05:00
Pekka Enberg
f76d059aa2 scripts/publish-crates.sh: Remove dry run option 2025-02-18 19:38:47 +02:00
Pekka Enberg
97601658a9 scripts: Add "publish-crates.sh" helper 2025-02-17 21:19:08 +02:00
Pekka Enberg
38f7dec9e7 merge-pr.py: Fix random emails appearing in commit logs
...my good friend Claude was probably drunk when he wrote that code.
2025-01-16 14:54:10 +02:00
Pekka Enberg
1df1f7afc5 Add scripts/run-sim helper
...to run the simulator in a loop with different seeds.
2025-01-14 17:19:58 +02:00
Pekka Enberg
e3d9082feb scripts/merge-pr.py: Fix pull from a fork 2024-12-11 07:41:33 +02:00
Pekka Enberg
bd94303377 scripts/merge-pr.py: Manually map Github username to email address
You can get pretty much any old email address out of Github API, so
let's just map the emails manually.
2024-09-22 07:05:08 -04:00
Pekka Enberg
0d04f0717f scripts/merge-pr.py: Don't wrap code blocks 2024-09-08 08:59:24 +03:00
Pekka Enberg
ec94770d08 scripts/merge-pr.py: Wrap merge commit message to 72 columns 2024-09-05 19:26:03 +03:00
Pekka Enberg
1e8197600c scripts/merge-pr.py: Generate reviewed-by tags 2024-09-04 10:48:12 +03:00
Pekka Enberg
e18fc511bb scripts/merge-pr.py: Use temporal file for commit message
...fixes problems like eating perfectly valid Markdown and stuff from
pull request descriptions.
2024-08-01 21:07:39 +03:00
Pekka Enberg
d75817998d Add merge-pr.py helper script
This adds a helper script to generate merge commits that are nicer than
the default Github one.
2024-08-01 10:23:06 +03:00