12 commits

Author	SHA1	Message	Date
Zhaofeng Li	4d92e69fc1	.github/install-attic-ci.sh: Update ... Built against f658c7e1fe.	2023-03-21 18:45:45 -06:00
Zhaofeng Li	944b14abdd	.github/install-attic-ci.sh: Update ... Built against f36f01d431.	2023-03-05 11:35:04 -07:00
Zhaofeng Li	f36f01d431	.github: Bump DetSys installer	2023-03-05 11:05:11 -07:00
Zhaofeng Li	1710a33eca	.github/install-attic-ci.sh: Update ... Built against a0a29b01cf.	2023-02-11 01:16:55 -07:00
Zhaofeng Li	5216e06a18	.github: Fix nix-installer action	2023-01-15 00:00:11 -07:00
Zhaofeng Li	864b62652b	.github: Allow specifying alternative cache in secrets	2023-01-08 00:57:22 -07:00
Zhaofeng Li	982ff75cb2	.github: Ignore failures from nix-installer	2023-01-08 00:57:22 -07:00
Zhaofeng Li	8af6ed71fa	.github: Update checkout to v3.3.0	2023-01-08 00:57:22 -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	50e5ecb7f9	Migrate to Crane ... The nixpkgs-acceptable package expression is still in `package.nix`.	2023-01-02 23:29:09 -07:00
Zhaofeng Li	5aa1623dc2	Initial public commit	2022-12-31 17:01:07 -07:00