fix: updated dockerfile to fix incorrect vim install #4
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Run push tests, graded and discrim | |
# Triggered on pushes on any branch | |
on: | |
push: | |
branches: | |
- "*" | |
jobs: | |
run-tests: | |
name: Run AutoIG Tests | |
runs-on: ubuntu-latest | |
defaults: | |
run: | |
shell: bash | |
container: | |
# using the main instead of the previous version for now | |
image: ghcr.io/conjure-cp/conjure:main | |
#previous version | |
#ghcr.io/conjure-cp/conjure@sha256:e959c664d83a08b68a5b31409d56ce82eadf0f0b74f8af1809642b73f652c940 | |
# Current version of conjure | |
# image: ghcr.io/conjure-cp/conjure@sha256:ebff76918718631f099544eed3a808cd16ce8f2c863c8229c7d2e417ba745c56 | |
steps: | |
# Checkout repo: checks out current repo (so AutoIG current branch) | |
- name: Checkout code | |
uses: actions/checkout@v4 | |
# Clones the current branch being pushed from | |
# Run same commands as in Docker file, this needs to be updated if there are major updates to Docker later on | |
# The two should be consistent | |
- name: Setup environment and execute test scripts for pushes | |
run: | | |
# Install General Dependencies | |
apt-get update | |
DEBIAN_FRONTEND=noninteractive apt-get install -y \ | |
bash \ | |
sudo \ | |
wget \ | |
curl \ | |
gnupg \ | |
software-properties-common \ | |
unzip | |
# Installing Python Dependencies | |
sudo apt-get install -y python3-pip | |
apt install python3-pandas -y | |
apt install python3-numpy -y | |
sudo apt install python-is-python3 | |
sudo apt-get install r-base -y | |
sudo apt-get install git-all -y | |
# Getting current branch | |
CURRENT_BRANCH="${{ github.ref_name }}" | |
git clone -b "$CURRENT_BRANCH" https://github.com/stacs-cp/AutoIG.git | |
# Install Necessary Dependencies into AutoIG Bin | |
bash bin/install-mininzinc.sh | |
bash bin/install-runsolver.sh | |
bash bin/install-irace.sh | |
bash bin/install-yuck.sh | |
bash bin/install-picat.sh | |
# Set Paths | |
. bin/container-set-path.sh | |
export AUTOIG=$(pwd) | |
# Navigate to test directory | |
cd scripts/testScripts | |
# Run the two test scripts associated with pushes | |
bash check_push.sh | |
bash check_push_discrim.sh | |
# if script fails reject PR | |
- name: Fail | |
if: ${{ failure() }} | |
run: | | |
echo "This tests failed, rejecting PR." | |
exit 1 | |
# if script passes approve PR | |
- name: Pass | |
if: ${{ success() }} | |
run: | | |
echo "This tests passed! allowing PR." | |
exit 0 |