Skip to content

Unify description of reverse domain name notation, strong recommendation to use it for variable and terminal kinds #302

Unify description of reverse domain name notation, strong recommendation to use it for variable and terminal kinds

Unify description of reverse domain name notation, strong recommendation to use it for variable and terminal kinds #302

Workflow file for this run

name: Build Spec
on:
push:
branches-ignore:
- 'temp/*'
tags:
- '*'
pull_request:
branches:
- 'main'
- 'v3.0.x'
- 'v2.0.x'
jobs:
build-code-snippets:
runs-on: ubuntu-20.04
steps:
- uses: actions/[email protected]
- name: Build code snippets
run: |
mkdir docs/examples/build
cd docs/examples/build
cmake ..
cmake --build .
generate-schema-figures:
runs-on: windows-2022
steps:
- uses: actions/[email protected]
- run: |
PowerShell -ExecutionPolicy Bypass -Command ./generate_figures.ps1
- name: Create ZIP archive
uses: actions/[email protected]
with:
name: schema-figures
path: docs/images/schema/*.png
if-no-files-found: error
generate-html:
runs-on: ubuntu-20.04
needs: [generate-schema-figures]
steps:
- name: Checkout
uses: actions/[email protected]
with:
submodules: recursive
- uses: actions/[email protected]
with:
name: schema-figures
path: docs/images/schema
- name: Generate revnumber
run: |
[[ $GITHUB_REF_TYPE == "tag" ]] && REVNUMBER=${GITHUB_REF:11} || REVNUMBER=${GITHUB_SHA:0:7}
echo GITHUB_SHA: $GITHUB_SHA
echo GITHUB_REF_TYPE: $GITHUB_REF_TYPE
echo GITHUB_REF: $GITHUB_REF
echo REVNUMBER: $REVNUMBER
echo "REVNUMBER=$REVNUMBER" >> $GITHUB_ENV
- name: Create build directory
run: |
mkdir -p build/headers
mkdir -p build/schema
mkdir -p build/images/schema
- name: Generate HTML
uses: avattathil/asciidoctor-action@master
with:
program: "asciidoctor --base-dir . --destination-dir=build --backend=html5 --attribute=revnumber=${{ env.REVNUMBER }} --attribute=revdate=$(date +%F) docs/index.adoc"
- name: Copy resources
run: |
cp LICENSE.txt build
cp headers/*.h build/headers
cp schema/*.xsd build/schema
cp docs/images/favicon.ico build/images
cp docs/images/*.svg build/images
cp docs/images/schema/*.png build/images/schema
- name: Create ZIP archive
uses: actions/[email protected]
with:
name: FMI-Specification
path: build/*
if-no-files-found: error
- name: Push HTML to fmi-standard.org
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
uses: cpina/[email protected]
env:
SSH_DEPLOY_KEY: ${{ secrets.SSH_DEPLOY_KEY }}
with:
source-directory: 'build'
destination-github-username: 'modelica'
destination-repository-name: 'fmi-standard.org'
user-email: ci@fmi-standard
target-branch: main
target-directory: static/docs/main