pj
7c845ff498
ci: declare least-privilege permissions
...
none of the three declared any, so each got the repository default.
release.yml and docs.yml already do this. all three only check out,
build, test and upload artifacts.
2026-08-15 12:46:49 +05:30
pj
5ad545a6ba
ci: install idb-companion from its tap and stop interpolating inputs
...
idb-companion is not in homebrew-core, so the ios leg died before it
built anything. replay-ui expanded dispatch inputs into the shell.
2026-08-14 22:41:53 +05:30
pj
85358f007e
ci(folio): let the android leg run far enough to see its conviction
2026-08-14 20:40:22 +05:30
pj
a9334b2927
ci(folio): pin the recalibrated seeds and drop android to a health gate
...
web 3 and ios 7 convict 3 runs out of 3 with an exactly 2x witness.
android convicts 2 in 5 because the same seed does not walk the same
trajectory there, so it proves the app runs instead.
2026-08-14 19:03:51 +05:30
pj
7cd3bc7749
ci(folio): make web an expect-the-bug leg
...
the web runtime can observe the double submit now, so the health gate
understates it. seed 1 finds it at step 109, 3 runs out of 3.
2026-08-13 22:41:24 +05:30
pj
a632dbc406
ci: pin calibrated seeds, skip the flaky ios reinstall, bound every job
2026-08-13 02:04:49 +05:30
pj
b7d3b1b7cb
ci(folio): give the ios leg its jdk, android sdk, just, and a clean app start
2026-08-13 01:23:49 +05:30
pj
8ceab4d581
ci: add dispatch workflows for folio and the replay ui
2026-08-13 01:17:12 +05:30
pj