Skip to content

Bump JamesIves/github-pages-deploy-action from 4.6.9 to 4.7.1 #5565

Bump JamesIves/github-pages-deploy-action from 4.6.9 to 4.7.1

Bump JamesIves/github-pages-deploy-action from 4.6.9 to 4.7.1 #5565

Workflow file for this run

name: Test Generated Java
on:
push:
pull_request:
merge_group:
schedule:
- cron: '0 0 1 * *'
jobs:
test-java:
runs-on: ubuntu-latest
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Set up JDK 1.8
uses: actions/setup-java@v4.5.0
with:
java-version: 8
distribution: 'zulu'
- name: make only-test-java-files
run: make only-test-java-files EXTERNAL_DEPENDENCIES=1
- name: make documentation
run: make only-javadoc EXTERNAL_DEPENDENCIES=1
- uses: actions/upload-artifact@v4
with:
name: fiat-javadoc
path: fiat-java/doc