Skip to content

Merge pull request #588 from ndw/css-tweaks #30

Merge pull request #588 from ndw/css-tweaks

Merge pull request #588 from ndw/css-tweaks #30

Workflow file for this run

name: build-specs
on: push
jobs:
check_branch:
runs-on: ubuntu-latest
outputs:
branch: ${{ steps.check_step.outputs.branch }}
reponame: ${{ steps.check_step.outputs.reponame }}
tag: ${{ steps.check_step.outputs.tag }}
steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Get branch name, etc.
id: check_step
run: |
raw=${{ github.repository }}
reponame=${raw##*/}
echo "reponame=$reponame" >> $GITHUB_STATE
raw=$(git branch -r --contains ${{ github.ref }})
branch=${raw##*/}
echo "branch=$branch" >> $GITHUB_STATE
tag=""
if [ ${{ github.ref_type }} = "tag" ]; then
tag=${{ github.ref_name }}
echo "Running in $reponame on $branch for $tag"
else
echo "Running in $reponame on $branch"
fi
echo "tag=$tag" >> $GITHUB_STATE
build-and-deploy:
runs-on: ubuntu-latest
needs: check_branch
env:
HAVE_ACCESS_TOKEN: ${{ secrets.ACCESS_TOKEN != '' }}
DIFFURI: ${{ secrets.DIFFURI }}
DIFFPW: ${{ secrets.DIFFPW }}
CIWORKFLOW: yes
CI_SHA1: ${{ github.sha }}
CI_BUILD_NUM: ${{ github.run_number }}
CI_PROJECT_USERNAME: ${{ github.repository_owner }}
CI_PROJECT_REPONAME: ${{ needs.check_branch.outputs.reponame }}
CI_BRANCH: ${{ needs.check_branch.outputs.branch }}
CI_TAG: ${{ needs.check_branch.outputs.tag }}
steps:
# We’re going to be updating the gh-pages branch, but that
# happens from two repositories. We must preserve what we
# don’t change by getting the current version
- name: Checkout current gh-pages from ${{ github.repository_owner}}/3.0-specification
uses: actions/checkout@v4
with:
repository: ${{ github.repository_owner}}/3.0-specification
ref: gh-pages
path: build/dist
- name: Preserve the relevant current gh-pages
run: |
mkdir /tmp/save-gh-pages
if [ -d build/dist/${{ github.ref_name }}/head ]; then
rsync -ar build/dist/${{ github.ref_name }}/head/ /tmp/save-gh-pages/
fi
- name: Checkout this repository
uses: actions/checkout@v4
- name: Restore the relevant gh-pages
run: |
mkdir -p build/dist
rsync -ar /tmp/save-gh-pages/ build/dist/
rm -rf /tmp/save-gh-pages
- name: Setup DeltaXML
run: |
echo Setup DeltaXML
if [[ -z "${DIFFURI}" ]]; then
echo "DeltaXML unavailable"
else
curl -s $DIFFURI | openssl enc -aes-256-cbc -salt -pbkdf2 -d -k $DIFFPW | tar zxf -
fi
- name: Build the specifications
run: |
./gradlew
- name: Cleanup DeltaXML
run: rm -rf deltaxml
- name: Deploy to gh-pages on ${{ github.repository_owner}}/3.0-specification
if: ${{ env.HAVE_ACCESS_TOKEN == 'true' }}
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: build/dist
token: ${{ secrets.ACCESS_TOKEN }}
repository-name: ${{ github.repository_owner}}/3.0-specification
branch: gh-pages
target-folder: /${{ github.ref_name }}/head