Symetric, transitive and reflexive equality for intersection types #32221

Workflow file for this run

.github/workflows/scala-new.yml at 24b40ce

	# This file is auto-generated. Do not edit it manually!
	# Edit the enso_build::ci_gen module instead and run `cargo run --package enso-build-ci-gen`.

	name: Engine CI
	on:
	push:
	branches:
	- develop
	pull_request: {}
	workflow_dispatch:
	inputs:
	clean_build_required:
	description: Clean before and after the run.
	required: false
	type: boolean
	default: false
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: ${{ github.ref != 'refs/heads/develop' }}
	jobs:
	enso-build-ci-gen-job-ci-check-backend-graal-vm-ce-linux-amd64:
	name: Engine (GraalVM CE) (linux, amd64)
	runs-on:
	- self-hosted
	- Linux
	steps:
	- if: startsWith(runner.name, 'GitHub Actions') \|\| startsWith(runner.name, 'Hosted Agent')
	name: Installing wasm-pack
	uses: jetli/[email protected]
	with:
	version: v0.12.1
	- name: Expose Artifact API and context information.
	uses: actions/github-script@v7
	with:
	script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
	- name: Checking out the repository
	uses: actions/checkout@v4
	with:
	clean: false
	submodules: recursive
	- name: Build Script Setup
	run: ./run --help \|\| (git clean -ffdx && ./run --help)
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: "(contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean before
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- run: ./run backend ci-check
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: failure() && runner.os == 'Windows'
	name: List files if failed (Windows)
	run: Get-ChildItem -Force -Recurse
	- if: failure() && runner.os != 'Windows'
	name: List files if failed (non-Windows)
	run: ls -lAR
	- if: "(always()) && (contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean after
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	env:
	GRAAL_EDITION: GraalVM CE
	enso-build-ci-gen-job-ci-check-backend-graal-vm-ce-macos-amd64:
	name: Engine (GraalVM CE) (macos, amd64)
	runs-on:
	- macos-13
	steps:
	- if: startsWith(runner.name, 'GitHub Actions') \|\| startsWith(runner.name, 'Hosted Agent')
	name: Installing wasm-pack
	uses: jetli/[email protected]
	with:
	version: v0.12.1
	- name: Expose Artifact API and context information.
	uses: actions/github-script@v7
	with:
	script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
	- name: Checking out the repository
	uses: actions/checkout@v4
	with:
	clean: false
	submodules: recursive
	- name: Build Script Setup
	run: ./run --help \|\| (git clean -ffdx && ./run --help)
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: "(contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean before
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- run: ./run backend ci-check
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: failure() && runner.os == 'Windows'
	name: List files if failed (Windows)
	run: Get-ChildItem -Force -Recurse
	- if: failure() && runner.os != 'Windows'
	name: List files if failed (non-Windows)
	run: ls -lAR
	- if: "(always()) && (contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean after
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	env:
	GRAAL_EDITION: GraalVM CE
	enso-build-ci-gen-job-ci-check-backend-graal-vm-ce-windows-amd64:
	name: Engine (GraalVM CE) (windows, amd64)
	runs-on:
	- self-hosted
	- Windows
	steps:
	- if: startsWith(runner.name, 'GitHub Actions') \|\| startsWith(runner.name, 'Hosted Agent')
	name: Installing wasm-pack
	uses: jetli/[email protected]
	with:
	version: v0.12.1
	- name: Expose Artifact API and context information.
	uses: actions/github-script@v7
	with:
	script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
	- name: Checking out the repository
	uses: actions/checkout@v4
	with:
	clean: false
	submodules: recursive
	- name: Build Script Setup
	run: ./run --help \|\| (git clean -ffdx && ./run --help)
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: "(contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean before
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- run: ./run backend ci-check
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: failure() && runner.os == 'Windows'
	name: List files if failed (Windows)
	run: Get-ChildItem -Force -Recurse
	- if: failure() && runner.os != 'Windows'
	name: List files if failed (non-Windows)
	run: ls -lAR
	- if: "(always()) && (contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean after
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	env:
	GRAAL_EDITION: GraalVM CE
	enso-build-ci-gen-job-jvm-tests-graal-vm-ce-linux-amd64:
	name: JVM Tests (GraalVM CE) (linux, amd64)
	runs-on:
	- self-hosted
	- Linux
	steps:
	- if: startsWith(runner.name, 'GitHub Actions') \|\| startsWith(runner.name, 'Hosted Agent')
	name: Installing wasm-pack
	uses: jetli/[email protected]
	with:
	version: v0.12.1
	- name: Expose Artifact API and context information.
	uses: actions/github-script@v7
	with:
	script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
	- name: Checking out the repository
	uses: actions/checkout@v4
	with:
	clean: false
	submodules: recursive
	- name: Build Script Setup
	run: ./run --help \|\| (git clean -ffdx && ./run --help)
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: "(contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean before
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- run: ./run backend test jvm
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: (success() \|\| failure()) && (github.event_name != 'pull_request' \|\| github.event.pull_request.head.repo.full_name == github.repository)
	name: Engine Test Reporter
	uses: dorny/test-reporter@v1
	with:
	max-annotations: 50
	name: Engine Tests Report (GraalVM CE, linux, amd64)
	path: ${{ env.ENSO_TEST_JUNIT_DIR }}/*.xml
	path-replace-backslashes: true
	reporter: java-junit
	- if: failure() && runner.os == 'Windows'
	name: List files if failed (Windows)
	run: Get-ChildItem -Force -Recurse
	- if: failure() && runner.os != 'Windows'
	name: List files if failed (non-Windows)
	run: ls -lAR
	- if: "(always()) && (contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean after
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	env:
	GRAAL_EDITION: GraalVM CE
	permissions:
	checks: write
	enso-build-ci-gen-job-jvm-tests-graal-vm-ce-macos-amd64:
	name: JVM Tests (GraalVM CE) (macos, amd64)
	runs-on:
	- macos-13
	steps:
	- if: startsWith(runner.name, 'GitHub Actions') \|\| startsWith(runner.name, 'Hosted Agent')
	name: Installing wasm-pack
	uses: jetli/[email protected]
	with:
	version: v0.12.1
	- name: Expose Artifact API and context information.
	uses: actions/github-script@v7
	with:
	script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
	- name: Checking out the repository
	uses: actions/checkout@v4
	with:
	clean: false
	submodules: recursive
	- name: Build Script Setup
	run: ./run --help \|\| (git clean -ffdx && ./run --help)
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: "(contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean before
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- run: ./run backend test jvm
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: (success() \|\| failure()) && (github.event_name != 'pull_request' \|\| github.event.pull_request.head.repo.full_name == github.repository)
	name: Engine Test Reporter
	uses: dorny/test-reporter@v1
	with:
	max-annotations: 50
	name: Engine Tests Report (GraalVM CE, macos, amd64)
	path: ${{ env.ENSO_TEST_JUNIT_DIR }}/*.xml
	path-replace-backslashes: true
	reporter: java-junit
	- if: failure() && runner.os == 'Windows'
	name: List files if failed (Windows)
	run: Get-ChildItem -Force -Recurse
	- if: failure() && runner.os != 'Windows'
	name: List files if failed (non-Windows)
	run: ls -lAR
	- if: "(always()) && (contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean after
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	env:
	GRAAL_EDITION: GraalVM CE
	permissions:
	checks: write
	enso-build-ci-gen-job-jvm-tests-graal-vm-ce-windows-amd64:
	name: JVM Tests (GraalVM CE) (windows, amd64)
	runs-on:
	- self-hosted
	- Windows
	steps:
	- if: startsWith(runner.name, 'GitHub Actions') \|\| startsWith(runner.name, 'Hosted Agent')
	name: Installing wasm-pack
	uses: jetli/[email protected]
	with:
	version: v0.12.1
	- name: Expose Artifact API and context information.
	uses: actions/github-script@v7
	with:
	script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
	- name: Checking out the repository
	uses: actions/checkout@v4
	with:
	clean: false
	submodules: recursive
	- name: Build Script Setup
	run: ./run --help \|\| (git clean -ffdx && ./run --help)
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: "(contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean before
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- run: ./run backend test jvm
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: (success() \|\| failure()) && (github.event_name != 'pull_request' \|\| github.event.pull_request.head.repo.full_name == github.repository)
	name: Engine Test Reporter
	uses: dorny/test-reporter@v1
	with:
	max-annotations: 50
	name: Engine Tests Report (GraalVM CE, windows, amd64)
	path: ${{ env.ENSO_TEST_JUNIT_DIR }}/*.xml
	path-replace-backslashes: true
	reporter: java-junit
	- if: failure() && runner.os == 'Windows'
	name: List files if failed (Windows)
	run: Get-ChildItem -Force -Recurse
	- if: failure() && runner.os != 'Windows'
	name: List files if failed (non-Windows)
	run: ls -lAR
	- if: "(always()) && (contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean after
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	env:
	GRAAL_EDITION: GraalVM CE
	permissions:
	checks: write
	enso-build-ci-gen-job-standard-library-tests-graal-vm-ce-linux-amd64:
	name: Standard Library Tests (GraalVM CE) (linux, amd64)
	runs-on:
	- self-hosted
	- Linux
	steps:
	- if: startsWith(runner.name, 'GitHub Actions') \|\| startsWith(runner.name, 'Hosted Agent')
	name: Installing wasm-pack
	uses: jetli/[email protected]
	with:
	version: v0.12.1
	- name: Expose Artifact API and context information.
	uses: actions/github-script@v7
	with:
	script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
	- name: Checking out the repository
	uses: actions/checkout@v4
	with:
	clean: false
	submodules: recursive
	- name: Build Script Setup
	run: ./run --help \|\| (git clean -ffdx && ./run --help)
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: "(contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean before
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- run: ./run backend test standard-library
	env:
	ENSO_LIB_S3_AWS_ACCESS_KEY_ID: ${{ secrets.ENSO_LIB_S3_AWS_ACCESS_KEY_ID }}
	ENSO_LIB_S3_AWS_REGION: ${{ secrets.ENSO_LIB_S3_AWS_REGION }}
	ENSO_LIB_S3_AWS_SECRET_ACCESS_KEY: ${{ secrets.ENSO_LIB_S3_AWS_SECRET_ACCESS_KEY }}
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: (success() \|\| failure()) && (github.event_name != 'pull_request' \|\| github.event.pull_request.head.repo.full_name == github.repository)
	name: Standard Library Test Reporter
	uses: dorny/test-reporter@v1
	with:
	max-annotations: 50
	name: Standard Library Tests Report (GraalVM CE, linux, amd64)
	path: ${{ env.ENSO_TEST_JUNIT_DIR }}//.xml
	path-replace-backslashes: true
	reporter: java-junit
	- if: failure() && runner.os == 'Windows'
	name: List files if failed (Windows)
	run: Get-ChildItem -Force -Recurse
	- if: failure() && runner.os != 'Windows'
	name: List files if failed (non-Windows)
	run: ls -lAR
	- if: "(always()) && (contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean after
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	env:
	GRAAL_EDITION: GraalVM CE
	permissions:
	checks: write
	enso-build-ci-gen-job-standard-library-tests-graal-vm-ce-macos-amd64:
	name: Standard Library Tests (GraalVM CE) (macos, amd64)
	runs-on:
	- macos-13
	steps:
	- if: startsWith(runner.name, 'GitHub Actions') \|\| startsWith(runner.name, 'Hosted Agent')
	name: Installing wasm-pack
	uses: jetli/[email protected]
	with:
	version: v0.12.1
	- name: Expose Artifact API and context information.
	uses: actions/github-script@v7
	with:
	script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
	- name: Checking out the repository
	uses: actions/checkout@v4
	with:
	clean: false
	submodules: recursive
	- name: Build Script Setup
	run: ./run --help \|\| (git clean -ffdx && ./run --help)
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: "(contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean before
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- run: ./run backend test standard-library
	env:
	ENSO_LIB_S3_AWS_ACCESS_KEY_ID: ${{ secrets.ENSO_LIB_S3_AWS_ACCESS_KEY_ID }}
	ENSO_LIB_S3_AWS_REGION: ${{ secrets.ENSO_LIB_S3_AWS_REGION }}
	ENSO_LIB_S3_AWS_SECRET_ACCESS_KEY: ${{ secrets.ENSO_LIB_S3_AWS_SECRET_ACCESS_KEY }}
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: (success() \|\| failure()) && (github.event_name != 'pull_request' \|\| github.event.pull_request.head.repo.full_name == github.repository)
	name: Standard Library Test Reporter
	uses: dorny/test-reporter@v1
	with:
	max-annotations: 50
	name: Standard Library Tests Report (GraalVM CE, macos, amd64)
	path: ${{ env.ENSO_TEST_JUNIT_DIR }}//.xml
	path-replace-backslashes: true
	reporter: java-junit
	- if: failure() && runner.os == 'Windows'
	name: List files if failed (Windows)
	run: Get-ChildItem -Force -Recurse
	- if: failure() && runner.os != 'Windows'
	name: List files if failed (non-Windows)
	run: ls -lAR
	- if: "(always()) && (contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean after
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	env:
	GRAAL_EDITION: GraalVM CE
	permissions:
	checks: write
	enso-build-ci-gen-job-standard-library-tests-graal-vm-ce-windows-amd64:
	name: Standard Library Tests (GraalVM CE) (windows, amd64)
	runs-on:
	- self-hosted
	- Windows
	steps:
	- if: startsWith(runner.name, 'GitHub Actions') \|\| startsWith(runner.name, 'Hosted Agent')
	name: Installing wasm-pack
	uses: jetli/[email protected]
	with:
	version: v0.12.1
	- name: Expose Artifact API and context information.
	uses: actions/github-script@v7
	with:
	script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
	- name: Checking out the repository
	uses: actions/checkout@v4
	with:
	clean: false
	submodules: recursive
	- name: Build Script Setup
	run: ./run --help \|\| (git clean -ffdx && ./run --help)
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: "(contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean before
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- run: ./run backend test standard-library
	env:
	ENSO_LIB_S3_AWS_ACCESS_KEY_ID: ${{ secrets.ENSO_LIB_S3_AWS_ACCESS_KEY_ID }}
	ENSO_LIB_S3_AWS_REGION: ${{ secrets.ENSO_LIB_S3_AWS_REGION }}
	ENSO_LIB_S3_AWS_SECRET_ACCESS_KEY: ${{ secrets.ENSO_LIB_S3_AWS_SECRET_ACCESS_KEY }}
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: (success() \|\| failure()) && (github.event_name != 'pull_request' \|\| github.event.pull_request.head.repo.full_name == github.repository)
	name: Standard Library Test Reporter
	uses: dorny/test-reporter@v1
	with:
	max-annotations: 50
	name: Standard Library Tests Report (GraalVM CE, windows, amd64)
	path: ${{ env.ENSO_TEST_JUNIT_DIR }}//.xml
	path-replace-backslashes: true
	reporter: java-junit
	- if: failure() && runner.os == 'Windows'
	name: List files if failed (Windows)
	run: Get-ChildItem -Force -Recurse
	- if: failure() && runner.os != 'Windows'
	name: List files if failed (non-Windows)
	run: ls -lAR
	- if: "(always()) && (contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean after
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	env:
	GRAAL_EDITION: GraalVM CE
	permissions:
	checks: write
	enso-build-ci-gen-job-verify-license-packages-linux-amd64:
	name: Verify License Packages (linux, amd64)
	runs-on:
	- self-hosted
	- Linux
	steps:
	- if: startsWith(runner.name, 'GitHub Actions') \|\| startsWith(runner.name, 'Hosted Agent')
	name: Installing wasm-pack
	uses: jetli/[email protected]
	with:
	version: v0.12.1
	- name: Expose Artifact API and context information.
	uses: actions/github-script@v7
	with:
	script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
	- name: Checking out the repository
	uses: actions/checkout@v4
	with:
	clean: false
	submodules: recursive
	- name: Build Script Setup
	run: ./run --help \|\| (git clean -ffdx && ./run --help)
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: "(contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean before
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- run: ./run backend sbt '--' verifyLicensePackages
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- if: failure() && runner.os == 'Windows'
	name: List files if failed (Windows)
	run: Get-ChildItem -Force -Recurse
	- if: failure() && runner.os != 'Windows'
	name: List files if failed (non-Windows)
	run: ls -lAR
	- if: "(always()) && (contains(github.event.pull_request.labels.*.name, 'CI: Clean build required') \|\| inputs.clean_build_required)"
	name: Clean after
	run: ./run git-clean
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	env:
	ENSO_BUILD_SKIP_VERSION_CHECK: "true"

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Symetric, transitive and reflexive equality for intersection types #32221

Workflow file

Symetric, transitive and reflexive equality for intersection types #32221

Jobs

Run details

Workflow file for this run