Skip to content

Use the GitHub CLI to create a release #43

Use the GitHub CLI to create a release

Use the GitHub CLI to create a release #43

Workflow file for this run

name: Compile examples
on:
push:
branches:
- master
pull_request:
branches:
- master
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Set up JDK 1.8
uses: actions/setup-java@v3
with:
distribution: temurin
java-version: 8
- name: Build RVTester (Java)
run: make -C examples/java
- name: Build RVTester (C++)
run: make -C examples/cpp