Skip to content
Prev Previous commit
Next Next commit
Merge branch 'main' into simplify_ubuntu_install
  • Loading branch information
Daniel Lemire committed Nov 18, 2024
commit 0e44b34702991a88df1886f81b239724c1981314
4 changes: 2 additions & 2 deletions .github/workflows/ubuntu_install.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,11 @@ jobs:
ubuntu-build:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
- name: Setup Ninja
run: sudo apt-get install ninja-build
- name: Prepare
run: cmake -G Ninja -DBUILD_SHARED_LIBS=ON -DCMAKE_INSTALL_PREFIX:PATH=destination -B build
run: cmake -D ADA_TESTING=ON -G Ninja -DBUILD_SHARED_LIBS=${{matrix.shared}} -DCMAKE_INSTALL_PREFIX:PATH=destination -B build
- name: Build
run: cmake --build build -j=4
- name: Install
Expand Down
Loading
You are viewing a condensed version of this merge commit. You can view the full changes here.