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
