From 56c8aa0362f8e6f2b8b1c019f4d09fc1230b5eaa Mon Sep 17 00:00:00 2001 From: Daniel Gavin Date: Wed, 27 Jul 2022 16:47:49 +0200 Subject: CI added for odinfmt --- odinfmt.sh | 2 ++ 1 file changed, 2 insertions(+) (limited to 'odinfmt.sh') diff --git a/odinfmt.sh b/odinfmt.sh index a50406c..d85788e 100644 --- a/odinfmt.sh +++ b/odinfmt.sh @@ -1 +1,3 @@ +#!/usr/bin/env bash + odin build tools/odinfmt -show-timings -collection:shared=src -out:odinfmt -opt:2 \ No newline at end of file -- cgit v1.2.3