Commit Graph

2 Commits

Author SHA1 Message Date
Jake Hillion
7e18c4c04b 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 16:01:06 +00:00
Jay Kamat
7412c67bd7 Add website deployment script 2022-12-20 08:40:51 -08:00