ocaml re-migration

3 files changed, 0 insertions, 190 deletions

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
deleted file mode 100644
index 5754292..0000000
--- a/.github/workflows/build.yml
+++ /dev/null
@@ -1,61 +0,0 @@
-name: "[Domino] Build"
-
-on:
-  push:
-    branches: [ "master" ]
-    paths:
-      - .github/workflows/**
-      - config/**
-      - docs/**
-      - include/**
-      - test/**
-      - src/**
-      - flake.nix
-      - flake.lock
-      - rebar.config
-      - rebar-deps.nix
-      - rebar.lock
-
-  pull_request:
-    branches: [ "master" ]
-    paths:
-      - .github/workflows/**
-      - config/**
-      - docs/**
-      - include/**
-      - test/**
-      - src/**
-      - flake.nix
-      - flake.lock
-      - rebar.config
-      - rebar-deps.nix
-      - rebar.lock
-
-permissions:
-  contents: read
-
-jobs:
-  build:
-    name: "[Domino] Nix Build"
-    runs-on: ubuntu-latest
-
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v6
-        with:
-          lfs: true
-
-      - name: Install Nix
-        uses: cachix/install-nix-action@v31
-        with:
-          # Mostly to avoid GitHub rate limiting
-          extra_nix_config: |
-            access-tokens = github.com=${{ github.token }}
-
-      - name: Install Nix Cache
-        uses: DeterminateSystems/magic-nix-cache-action@main
-
-      # Actual Pipelines
-      - name: "Build"
-        run: |
-          nix build
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
deleted file mode 100644
index b2ec401..0000000
--- a/.github/workflows/ci.yml
+++ /dev/null
@@ -1,43 +0,0 @@
-name: CI
-
-on:
-  pull_request:
-
-jobs:
-  test:
-    name: Test on OTP ${{matrix.otp}} / rebar3 ${{matrix.rebar3}}
-    runs-on: ubuntu-latest
-
-    strategy:
-      matrix:
-        otp: ['26', '27']
-        rebar3: ['3.23']
-
-    steps:
-    - name: Checkout code
-      uses: actions/checkout@v4
-
-    - name: Setup Erlang/OTP
-      uses: erlef/setup-beam@v1
-      with:
-        otp-version: ${{matrix.otp}}
-        rebar3-version: ${{matrix.rebar3}}
-
-    - name: Restore dependencies cache
-      uses: actions/cache@v4
-      with:
-        path: |
-          _build
-          rebar.lock
-        key: ${{ runner.os }}-rebar3-${{ hashFiles('rebar.config') }}
-        restore-keys: |
-          ${{ runner.os }}-rebar3-
-
-    - name: Compile
-      run: rebar3 compile
-
-    - name: Run tests
-      run: rebar3 eunit
-
-    - name: Run dialyzer
-      run: rebar3 dialyzer
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
deleted file mode 100644
index 0d3aa58..0000000
--- a/.github/workflows/docs.yml
+++ /dev/null
@@ -1,86 +0,0 @@
-name: Documentation
-
-on:
-  push:
-    branches:
-      - master
-  pull_request:
-    branches:
-      - master
-    paths:
-      - .github/workflows/docs.yml
-      - include/**
-      - src/**
-
-permissions:
-  contents: read
-  pages: write
-  id-token: write
-
-concurrency:
-  group: "pages"
-  cancel-in-progress: false
-
-jobs:
-  build:
-    name: Build documentation
-    runs-on: ubuntu-latest
-
-    steps:
-      - name: Checkout code
-        uses: actions/checkout@v4
-
-      - name: Setup Erlang/OTP
-        uses: erlef/setup-beam@v1
-        with:
-          otp-version: "27"
-          rebar3-version: "3.23"
-
-      - name: Restore dependencies cache
-        uses: actions/cache@v4
-        with:
-          path: |
-            _build
-            rebar.lock
-          key: ${{ runner.os }}-rebar3-${{ hashFiles('rebar.config') }}
-          restore-keys: |
-            ${{ runner.os }}-rebar3-
-
-      - name: Compile
-        run: rebar3 compile
-
-      - name: Generate EDoc
-        run: rebar3 edoc
-
-      - name: Fix index.html for GitHub Pages
-        run: |
-          if [ ! -f doc/index.html ]; then
-            cp doc/overview-summary.html doc/index.html
-            echo "Copied overview-summary.html to index.html"
-          else
-            echo "index.html already exists, skipping"
-          fi
-
-      - name: Setup Pages
-        uses: actions/configure-pages@v4
-        if: github.event_name != 'pull_request'
-
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
-        if: github.event_name != 'pull_request'
-        with:
-          path: "doc"
-
-  deploy:
-    name: Deploy to GitHub Pages
-    if: github.event_name != 'pull_request'
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    needs: build
-
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4