Update multi-platform vision: EoS scales from MCUs to desktops, TVs, … #22
Workflow file for this run
This file contains hidden or 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: Deploy to GitHub Pages | |
| on: | |
| push: | |
| branches: [main] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: true | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Validate HTML files exist | |
| run: | | |
| for f in index.html getting-started.html kids.html hardware-lab.html flow.html \ | |
| docs/index.html docs/eos.html docs/eboot.html docs/ebuild.html \ | |
| docs/eai.html docs/eipc.html docs/eni.html docs/eosim.html \ | |
| docs/eosuite.html docs/eostudio.html style.css; do | |
| if [ ! -f "$f" ]; then | |
| echo "ERROR: Missing $f" | |
| exit 1 | |
| fi | |
| SIZE=$(stat -c%s "$f" 2>/dev/null || stat -f%z "$f") | |
| if [ "$SIZE" -lt 100 ]; then | |
| echo "ERROR: $f is too small ($SIZE bytes)" | |
| exit 1 | |
| fi | |
| echo "OK: $f ($SIZE bytes)" | |
| done | |
| - name: Check for broken internal links | |
| run: | | |
| python3 -c " | |
| import os, re | |
| errors = [] | |
| for root, dirs, files in os.walk('.'): | |
| if '.git' in root: continue | |
| for f in files: | |
| if not f.endswith('.html'): continue | |
| path = os.path.join(root, f) | |
| content = open(path).read() | |
| for m in re.finditer(r'href=\"([^#][^:][^\"]*\.html)', content): | |
| link = m.group(1) | |
| target = os.path.normpath(os.path.join(os.path.dirname(path), link)) | |
| if not os.path.exists(target): | |
| errors.append(f'{path}: broken link to {link}') | |
| if errors: | |
| for e in errors: print('ERROR:', e) | |
| exit(1) | |
| print(f'All internal links valid') | |
| " | |
| - uses: actions/configure-pages@v4 | |
| - uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: . | |
| deploy: | |
| environment: | |
| name: github-pages | |
| url: ${{ github.event.repository.homepage }} | |
| runs-on: ubuntu-latest | |
| needs: build | |
| steps: | |
| - uses: actions/deploy-pages@v4 |