christoph 14ce025824 fix screen old session termination bug + db.conf rewriting bug

2026-04-17 22:13:31 +02:00

..

build.pl

add wip buildscripts for automated experiment execution

2026-04-17 21:58:29 +02:00

deploy.pl

fix screen old session termination bug + db.conf rewriting bug

2026-04-17 22:13:31 +02:00

dropdb.pl

add wip buildscripts for automated experiment execution

2026-04-17 21:58:29 +02:00

fail.just

move justfiles to scripts/

2026-04-17 15:17:30 +02:00

mars.just

move justfiles to scripts/

2026-04-17 15:17:30 +02:00

nixos.just

move justfiles to scripts/

2026-04-17 15:17:30 +02:00

runner.pl

fix screen old session termination bug + db.conf rewriting bug

2026-04-17 22:13:31 +02:00

wasm.just

move justfiles to scripts/

2026-04-17 15:17:30 +02:00