Skip to content
Test Generated Java

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #5486

Sign in to view logs

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #5486

Workflow file for this run

.github/workflows/java.yml at 0268bbe
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.3.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