migrate circleci workflows to github actions

facebook · Mar 12, 2024 · 6f67de6 · 6f67de6
1 parent eff9470
commit 6f67de6
Show file tree

Hide file tree

Showing 2 changed files with 685 additions and 0 deletions.
diff --git a/.github/actions/install-opam-mac/action.yml b/.github/actions/install-opam-mac/action.yml
@@ -0,0 +1,20 @@
+name: install-opam-mac
+description: Install opam on macOS
+inputs:
+  arch:
+    description: The architecture of the machine
+    required: false
+runs:
+  using: composite
+  steps:
+  - name: Install opam
+    run: |-
+      if ! [ -x "$(command -v opam)" ]; then
+        echo "Downloading opam..."
+        curl -sL -o "$RUNNER_TEMP/opam" "https://github.com/ocaml/opam/releases/download/2.0.10/opam-2.0.10-${{ inputs.arch }}-macos"
+        echo "Installing opam..."
+        install -m 755 "$RUNNER_TEMP/opam" "/usr/local/bin/opam"
+        echo "Removing opam temp file..."
+        rm -f "$RUNNER_TEMP/opam"
+      fi
+    shell: bash