6 commits

Author	SHA1	Message	Date
Zhaofeng Li	a8cacb0057	.github: Update workflow deps	2023-12-18 14:50:33 -07:00
Zhaofeng Li	f36f01d431	.github: Bump DetSys installer	2023-03-05 11:05:11 -07:00
Zhaofeng Li	5216e06a18	.github: Fix nix-installer action	2023-01-15 00:00:11 -07:00
Zhaofeng Li	f4e52f9ad0	.github/book: Work around PATH issue for now	2023-01-02 23:44:31 -07:00
Zhaofeng Li	d93a0f587c	.github: Naively dogfood Attic	2023-01-02 23:29:09 -07:00
Zhaofeng Li	5aa1623dc2	Initial public commit	2022-12-31 17:01:07 -07:00