Skip to content

Commit

Permalink
Extract Ubuntu dependency install step in GH workflows
Browse files Browse the repository at this point in the history
  • Loading branch information
punchagan committed Jan 30, 2024
1 parent 2d59f66 commit 3f2092e
Showing 1 changed file with 15 additions and 12 deletions.
27 changes: 15 additions & 12 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -34,11 +34,14 @@ jobs:

- run: opam install . --deps-only --with-test

# Runs a set of commands using the runners shell
- name: 5.3.0+trunk+serial
- name: Install dependencies
run: |
sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
pip3 install intervaltree
# Runs a set of commands using the runners shell
- name: 5.3.0+trunk+serial
run: |
eval $(opam env)
export ITER=1
export OPAM_DISABLE_SANDBOXING=true
Expand All @@ -51,8 +54,6 @@ jobs:
- name: 5.3.0+trunk+parallel
run: |
sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
pip3 install intervaltree
eval $(opam env)
export ITER=1
export OPAM_DISABLE_SANDBOXING=true
Expand Down Expand Up @@ -90,11 +91,14 @@ jobs:

- run: opam install . --deps-only --with-test

# Runs a set of commands using the runners shell
- name: 5.2.0+trunk+serial
- name: Install dependencies
run: |
sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
pip3 install intervaltree
# Runs a set of commands using the runners shell
- name: 5.2.0+trunk+serial
run: |
eval $(opam env)
export ITER=1
export OPAM_DISABLE_SANDBOXING=true
Expand All @@ -107,8 +111,6 @@ jobs:
- name: 5.2.0+trunk+parallel
run: |
sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
pip3 install intervaltree
eval $(opam env)
export ITER=1
export OPAM_DISABLE_SANDBOXING=true
Expand Down Expand Up @@ -143,10 +145,13 @@ jobs:

- run: opam install . --deps-only --with-test

- name: 4.14.0+serial
- name: Install dependencies
run: |
sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo
sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
pip3 install intervaltree
- name: 4.14.0+serial
run: |
eval $(opam env)
export ITER=1
export OPAM_DISABLE_SANDBOXING=true
Expand All @@ -158,8 +163,6 @@ jobs:
- name: 4.14.0+parallel
run: |
sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo
pip3 install intervaltree
eval $(opam env)
export ITER=1
export OPAM_DISABLE_SANDBOXING=true
Expand Down

0 comments on commit 3f2092e

Please sign in to comment.