Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Revert "[backport] Tweak variance of Ordering.min and .max" #518

Revert "[backport] Tweak variance of Ordering.min and .max"

Revert "[backport] Tweak variance of Ordering.min and .max" #518

Workflow file for this run

name: PR validation
on:
pull_request:
jobs:
validate:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v6
- name: Setup Java
uses: actions/setup-java@v5
with:
distribution: temurin
java-version: 8
cache: sbt
- name: Setup SBT
uses: sbt/setup-sbt@v1
# "mini" bootstrap for PR validation
# "mini" in these senses:
# - it doesn't use the complicated legacy scripts.
# - it doesn't publish to scala-pr-validation-snapshots
# (because we need secrets for that and PRs from forks can't have secrets)
# it is still a true bootstrap.
- name: Stage 1
run: sbt -warn setupPublishCore generateBuildCharacterPropertiesFile headerCheck publishLocal
- name: Stage 2
run: |
STARR=`cat buildcharacter.properties | grep ^maven.version.number | cut -d= -f2` && echo $STARR
sbt -Dstarr.version=$STARR -warn setupValidateTest Test/compile info testAll
Morty Proxy This is a proxified and sanitized view of the page, visit original site.