Skip to content

Made eq attribute of standard objects int and float to meet the standards (IEEE 754) #4856

Made eq attribute of standard objects int and float to meet the standards (IEEE 754)

Made eq attribute of standard objects int and float to meet the standards (IEEE 754) #4856

Workflow file for this run

---
name: mvn
on:
push:
branches:
- master
paths-ignore: [ 'paper/**', 'sandbox/**' ]
pull_request:
branches:
- master
paths-ignore: [ 'paper/**', 'sandbox/**' ]
concurrency:
group: mvn-${{ github.ref }}
cancel-in-progress: true
jobs:
mvn:
name: mvn
strategy:
matrix:
os: [ ubuntu-20.04, windows-2022, macos-12 ]
java: [ 11, 20 ]
runs-on: ${{ matrix.os }}
env:
CONVERT_PATH: /tmp/antlr4-to-bnf-converter
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
- uses: actions/setup-java@v3
with:
distribution: 'temurin'
java-version: ${{ matrix.java }}
- uses: actions/cache@v3
with:
path: ~/.m2/repository
key: ${{ runner.os }}-jdk-${{ matrix.java }}-maven-${{ hashFiles('**/pom.xml') }}
restore-keys: ${{ runner.os }}-jdk-${{ matrix.java }}-maven-
# The next step is required to avoid some exceptions that occur
# when running on Windows OS. For example like this one:
# - https://github.com/objectionary/eo/issues/2336
# The step disables http multiplexing in Cargo which cause some problems
# on Windows OS.
# You can read more about multiplexing right here
# - https://stackoverflow.com/questions/36517829/what-does-multiplexing-mean-in-http-2
# Multiplexing in Rust:
# - https://doc.rust-lang.org/cargo/reference/config.html#httpmultiplexing
- name: Set Cargo config (Windows)
if: matrix.os == 'windows-2022'
run: |
echo [http] >> %USERPROFILE%\.cargo\config.toml
echo multiplexing = false >> %USERPROFILE%\.cargo\config.toml
shell: cmd
- run: mvn clean install -Pqulice --errors --batch-mode