10 commits

Author	SHA1	Message	Date
Zhaofeng Li	a8cacb0057	.github: Update workflow deps	2023-12-18 14:50:33 -07:00
Andrey Snow	5f85e35a25	feat: Build & Push images as part of CI (#44)	2023-05-06 22:25:01 -06: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	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	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