From 259cbfd0b271990639b0a02d83453acc0c18da1c Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Tue, 11 May 2021 15:46:03 +0200 Subject: chore(owothia): move to //fun/owothia 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 --- fun/owothia/hie.yaml | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 fun/owothia/hie.yaml (limited to 'fun/owothia/hie.yaml') diff --git a/fun/owothia/hie.yaml b/fun/owothia/hie.yaml new file mode 100644 index 000000000000..16a6c1526259 --- /dev/null +++ b/fun/owothia/hie.yaml @@ -0,0 +1,4 @@ +cradle: + cabal: + - path: './app' + component: 'exe:owothia' -- cgit 1.4.1