From b2bf57af53eb8d7d2c1a7c707cf9ffd7d26dac52 Mon Sep 17 00:00:00 2001 From: Boning Date: Sat, 17 Jan 2026 15:42:05 -0500 Subject: [PATCH] Update GitHub Action --- .github/workflows/build.yml | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 3a949f8..488e832 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -2,9 +2,12 @@ name: CI Workflow on: push: - branches: [ master ] + branches: [main] pull_request: - branches: [ master ] + branches: [main] + workflow_dispatch: + +permissions: read-all jobs: build: @@ -14,15 +17,16 @@ jobs: os: - ubuntu-latest ocaml-compiler: - - 4.12.x + - 4.14.2 runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v2 + - name: Checkout tree + uses: actions/checkout@v6 - name: Use OCaml ${{ matrix.ocaml-compiler }} - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }}