Revert "Uses precomputed logtg" #50
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: Builds BASIS UEDGE using Docker | |
on: [push, pull_request] | |
jobs: | |
run-all-tests: | |
name: Builds BASIS UEDGE using Docker | |
runs-on: ubuntu-latest | |
strategy: | |
fail-fast: false | |
steps: | |
- uses: actions/checkout@v4 | |
- name: Set UBUNTU tags env variables. | |
if: runner.os == 'Linux' | |
run: | | |
# Set "checking" variable to false by default. | |
echo "has_tags=false" >> $GITHUB_ENV | |
# Get your last commit message, not the merge commit. | |
text=$(git log -1 --no-merges --pretty=%B) | |
# Read the commit message into an array split by "#". | |
readarray -d "#" -t commit_message <<< "$text" | |
# Sanity check. | |
echo "the tags are: ${commit_message[1]}" | |
# Add tags and overwrite "checking" variable to true if there are tags. | |
if [[ "${commit_message[1]}" == *"@"* ]]; then | |
echo "spec_tags=${commit_message[1]}" >> $GITHUB_ENV | |
fi | |
- name: Build using Docker | |
if: ${{ ! contains(env.spec_tags, '@nobasis') }} | |
env: | |
BRANCH_NAME: ${{ github.head_ref || github.ref_name }} | |
run: | | |
echo $BRANCH_NAME | |
docker run --rm fusionbillm/basisuedge checkout $BRANCH_NAME 2>&1 | tee build.log | |
if [[ ! $( tail -n 50 build.log ) == *"All level 1 tests passed"* ]]; then | |
echo "Docker build and/or level 1 tests failed for BASIS build!" | |
exit 1 | |
fi | |
if [[ ! $( tail -n 50 build.log ) == *"All level 2 tests passed"* ]]; then | |
echo "Docker build and/or level 2 tests failed for BASIS build!" | |
exit 1 | |
fi | |