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
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
