Skip to content

Why use https:// instead of git@?** #458

Why use https:// instead of git@?**

Why use https:// instead of git@?** #458

Workflow file for this run

name: Check build
on:
pull_request:
jobs:
check_build:
strategy:
fail-fast: false
matrix:
os:
- macos-latest
- ubuntu-latest
ocaml-version:
- 4.14.0 # match mina's version
runs-on: ${{ matrix.os }}
steps:
- name: Get code
uses: actions/checkout@v4
- name: Use OCaml ${{ matrix.ocaml-version }}
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: ${{ matrix.ocaml-version }}
disable-cache: true
- name: Build
run: |
eval $(opam env)
opam update
opam pin add . -y
- name: Tests
run: |
eval $(opam env)
dune runtest
- name: Format
run: |
eval $(opam env)
opam install ocamlformat.0.20.1 # match mina's version
dune build @fmt