Skip to content

Rename type package to types #8

Rename type package to types

Rename type package to types #8

# Run concurrency unit tests on ARM in rt4 core sub-project (GitHub action)
name: rt4 core unit tests (ARM)
# The ARM memory model is weaker than the Intel-amd64 model.
# A correctly synchronised program should always run identically.
# An incorrectly synchronised one may exhibit different failures.
on: [push]
permissions:
contents: read
jobs:
rt4-unit-tests-Ubuntu-jdk-17-arm:
runs-on: ubuntu-24.04-arm
steps:
- run: echo "Branch ${{ github.ref }} of repository ${{ github.repository }}."
- uses: actions/checkout@v4
- uses: gradle/actions/wrapper-validation@v4
- name: Set up JDK 17
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
- name: Set up Python 3.11
uses: actions/setup-python@v4
with:
# This has to match the language version we're targeting
python-version: '3.11'
- name: Unit test with Gradle
run: ./gradlew --no-daemon rt4core:concurrencyTest