Jake Hillion 3bfaa01cf9 convert circleci lint job to github actions ... Start the migration from CircleCI to GitHub Actions with migrating the lint job. Used the structure from @robandpdx to setup Nix and use a GitHub key. Restructured the check from `nix flake check` to `nix fmt; git diff --exit-code` so we get a full patch again. Test plan: - Submitted this PR with a formatting error. CI failed. Submitted without and it passed. Co-Authored By: Rob Anderson <robandpdx@github.com>		2024-02-20 14:57:15 +00:00
..
workflows	convert circleci lint job to github actions	2024-02-20 14:57:15 +00:00
pull_request_template.md	Initial commit	2022-12-19 06:37:51 -08:00