Adding some practical tests for intersection types in context of using them for 'refining' types #32531
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # 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: Changelog | |
| on: | |
| pull_request: | |
| types: | |
| - labeled | |
| - unlabeled | |
| - synchronize | |
| - opened | |
| - reopened | |
| jobs: | |
| changelog: | |
| name: Changelog | |
| runs-on: | |
| - X64 | |
| steps: | |
| - if: runner.os == 'Windows' | |
| name: Setup required bazel environment | |
| run: "\n\"BAZEL_SH=C:\\Program Files\\Git\\bin\\bash.exe\" >> $env:GITHUB_ENV\n\"BAZEL_VC=C:\\BuildTools\\VC\" >> $env:GITHUB_ENV\n " | |
| shell: pwsh | |
| - name: Setup bazel environment | |
| uses: bazel-contrib/setup-bazel@09f3a72d13a081857b0ee94e986ffa84caef7c85 | |
| with: | |
| bazelisk-cache: true | |
| disk-cache: true | |
| output-base: ${{ runner.os == 'Windows' && 'c:/_bazel' || '' }} | |
| repository-cache: true | |
| - if: startsWith(runner.name, 'GitHub Actions') || startsWith(runner.name, 'Hosted Agent') | |
| name: Installing wasm-pack | |
| uses: jetli/wasm-pack-action@v0.4.0 | |
| 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 changelog-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: | |
| ENSO_BUILD_SKIP_VERSION_CHECK: "true" |