Ana Hobden cefc927ff5 Fix use of UID where username should be on Github actions (#157) ... * Fix use of UID where username should be on Github actions * Add check to ensure that nix profile add works * It's nix profile install, ana		2023-01-05 07:56:09 -08:00
..
workflows	Fix use of UID where username should be on Github actions (#157)	2023-01-05 07:56:09 -08:00
dependabot.yml	Tell dependabot to relax, please	2022-10-12 06:42:11 -07:00