Skip to content

Raw translation of SC07 (#758) #941

Raw translation of SC07 (#758)

Raw translation of SC07 (#758) #941

Workflow file for this run

name: Generate ICMLs
on:
push:
branches:
- main
pull_request:
paths:
- 'th/**/03_public/*.md'
- 'th/**/**/03_public/*.md'
- 'th/**/*.yaml'
- '.tooling'
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
defaults:
run:
shell: bash
jobs:
changes:
runs-on: ubuntu-latest
# Required permissions
permissions:
pull-requests: read
outputs:
# Expose matched filters as job 'books' output variable
books: ${{ steps.filter.outputs.changes }}
steps:
- uses: actions/checkout@v6
- uses: dorny/paths-filter@v4
id: filter
with:
filters: |
th/PP:
- 'th/PP/**'
- .tooling
th/MB:
- 'th/MB/**'
- .tooling
th/LBF:
- 'th/LBF/**'
- .tooling
generate-icmls:
needs: changes
strategy:
matrix:
book: ${{ fromJSON(github.ref == 'refs/heads/main' && '["th/PP", "th/LBF", "th/MB"]' || needs.changes.outputs.books) }}
runs-on: ubuntu-latest
container:
image: mattleff/xelatex-swath
options: --user 1001
steps:
- uses: actions/checkout@v6
with:
fetch-depth: 0 # This is required for retrieving the content last modified timestamps
submodules: 'recursive'
- name: Generate ICMLs
working-directory: ./.tooling/latex/
run: make -j 4 icmls/${{ matrix.book }}
# Dynamically set the name for the artifact based on the current time and build scope
- name: Set Env
run: |
echo "CURRENT_TIME=$(date +'%Y-%m-%d_%H.%M.%S')" >> $GITHUB_ENV
BOOK_NAME=${{ matrix.book }}
echo "BOOK_NAME=$(echo $BOOK_NAME | sed 's/\//-/g')" >> $GITHUB_ENV
- name: Upload ICMLs
uses: actions/upload-artifact@v7
with:
name: ${{ env.BOOK_NAME }}_${{ env.CURRENT_TIME }}
path: .tooling/latex/icml/${{ matrix.book }}