Setup github workflow.

.github/workflows/continuous-deployment.yml

@@ -0,0 +1,16 @@
+name: Continuous Deployment
+
+on:
+  push:
+    branches: ["main"]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build:
+    runs-on: macos-latest
+    steps:
+      - uses: actions/checkout@v4
+      - shell: bash
+        run: ./build.sh

build.sh

@@ -1,9 +1,7 @@
-apt -y install libz3-4
-
-bash -c "$(wget -O - https://apt.llvm.org/llvm.sh)"
-
 curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
 
+brew install llvm zlib bzip2
+
 source $HOME/.cargo/env
 
 rustup install 1.80.0