Zhaofeng Li 3d5fb89bd1 .github: Build for aarch64-linux ... Let's remove the nix-env install for now. Fixes #147.		2023-04-22 16:24:42 -06:00
..
build.yml	.github: Build for aarch64-linux	2023-04-22 16:24:42 -06:00
linters.yml	.github: Switch back to upstream DetSys installer	2023-02-06 17:48:52 -07:00
manual-stable.yml	.github: Switch back to upstream DetSys installer	2023-02-06 17:48:52 -07:00
manual.yml	.github: Switch back to upstream DetSys installer	2023-02-06 17:48:52 -07:00
tests.yml	.github: Switch back to upstream DetSys installer	2023-02-06 17:48:52 -07:00