Skip to content

Merge pull request #68 from ocadotechnology/easy_random_with_seal #140

Merge pull request #68 from ocadotechnology/easy_random_with_seal

Merge pull request #68 from ocadotechnology/easy_random_with_seal #140

Workflow file for this run

name: Verify
on:
push:
branches:
- '**'
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up JDK 17
uses: actions/setup-java@v1
with:
java-version: 17
- name: Verify with Maven
run: mvn -B verify --file pom.xml