3 commits

Author	SHA1	Message	Date
Rohan Kumar	d1711699d4	Opportunistically use pipefail	2023-11-25 13:40:52 -08:00
Rohan Kumar	ba3c58dfd9	Fix perms	2023-11-24 21:04:41 -08:00
Rohan Kumar	de65f4d506	Move some CI logic to scripts/makefile ... Also update some of its docs	2023-11-24 13:02:52 -08:00