about summary refs log tree commit diff
path: root/users/glittershark/system/home/modules/development/agda.nix
diff options
context:
space:
mode:
authorGriffin Smith <grfn@gws.fyi>2021-02-24T17·37-0500
committerglittershark <grfn@gws.fyi>2021-02-24T17·46+0000
commit06263bfde251a13b53b4cb7665b8b7c059701858 (patch)
tree8b5f5380444fca45e78797d0efedcb818251f102 /users/glittershark/system/home/modules/development/agda.nix
parent599262bc2c40d510fa67f0b48e107d3dd02f5774 (diff)
feat(gs/home): Alias cch=cargo check r/2231
Change-Id: I4b0ef2f5996b6cf34724a0ed6b1c8081baa4d929
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2549
Reviewed-by: glittershark <grfn@gws.fyi>
Tested-by: BuildkiteCI
Diffstat (limited to 'users/glittershark/system/home/modules/development/agda.nix')
0 files changed, 0 insertions, 0 deletions