Skip to content

Prevent index file from being renamed #73

Prevent index file from being renamed

Prevent index file from being renamed #73

Workflow file for this run

# This is a basic workflow to help you get started with Actions
name: CI – Pull Requests
# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for the main branch
on:
pull_request:
branches: [ main ]
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "build"
build:
# The type of runner that the job will run on
runs-on: ubuntu-latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- name: checkout source
uses: actions/checkout@v3
with:
submodules: recursive
- name: Verify Gradle Wrapper
uses: gradle/wrapper-validation-action@v1
- name: Set up JDK 17
uses: actions/setup-java@v3
with:
distribution: 'temurin'
java-version: 17
- name: Execute Gradle Build
uses: gradle/gradle-build-action@v2
with:
gradle-version: wrapper
arguments: buildDocs
- name: Upload Build Artifacts
uses: actions/upload-artifact@v3
with:
name: curriculum files (PDF and HTML)
path: |
build/*.pdf
build/*.html
retention-days: 10