From d9ce8a78721239d39c6bea7c1dc0f1c7d2f78781 Mon Sep 17 00:00:00 2001 From: Cheng Lou Date: Thu, 6 May 2021 21:29:18 -0700 Subject: [PATCH] Remove unneeded ci config --- .github/workflows/ci.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index babd5a322..41600e1b5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -46,7 +46,6 @@ jobs: uses: avsm/setup-ocaml@v1.1.10 with: ocaml-version: 4.06.1 - ocaml-compiler: 4.06.1 - name: Use Node.js uses: actions/setup-node@v2.1.5