From 8c640a262969ef44cd8bc0e0abe95e2a54f4c3f5 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Thu, 5 Mar 2026 23:42:15 -0300 Subject: ocaml re-migration --- .github/workflows/ci.yml | 43 ------------------------------------------- 1 file changed, 43 deletions(-) delete mode 100644 .github/workflows/ci.yml (limited to '.github/workflows/ci.yml') 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 -- cgit v1.2.3