diff options
| author | Vincent Ambo <mail@tazj.in> | 2021-05-11T13·46+0200 |
|---|---|---|
| committer | tazjin <mail@tazj.in> | 2021-05-11T21·34+0000 |
| commit | 259cbfd0b271990639b0a02d83453acc0c18da1c (patch) | |
| tree | eaf07bc086f86c8da07f3e223dd8f230017f9cd8 /fun/owothia/hie.yaml | |
| parent | 13336c60570bef5e6a303a5c1fb76595dda07da8 (diff) | |
chore(owothia): move to //fun/owothia r/2577
Owothia graduates, or something. Mostly I don't want infrastructure to depend on stuff in //users. Does anyone know where owothia is running anyways? Change-Id: I198c7ac935736c7aee3ba4fbda1453b82aa10283 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3103 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'fun/owothia/hie.yaml')
| -rw-r--r-- | fun/owothia/hie.yaml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/fun/owothia/hie.yaml b/fun/owothia/hie.yaml new file mode 100644 index 0000000000..16a6c15262 --- /dev/null +++ b/fun/owothia/hie.yaml @@ -0,0 +1,4 @@ +cradle: + cabal: + - path: './app' + component: 'exe:owothia' |