Type Inference PoC - iteration 1 - most basic type inference #2159
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: GUI Tests | |
| 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 | |
| jobs: | |
| enso-build-ci-gen-job-cancel-workflow-linux-x86_64: | |
| name: Cancel Previous Runs | |
| if: github.ref != 'refs/heads/develop' | |
| runs-on: | |
| - ubuntu-latest | |
| steps: | |
| - name: Cancel Previous Runs | |
| uses: styfle/cancel-workflow-action@0.12.1 | |
| with: | |
| access_token: ${{ github.token }} | |
| permissions: | |
| actions: write | |
| enso-build-ci-gen-job-gui-test-linux-x86_64: | |
| name: GUI tests (linux, x86_64) | |
| runs-on: | |
| - self-hosted | |
| - Linux | |
| steps: | |
| - 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.10.2 | |
| - 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 gui test | |
| 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 }} | |
| enso-build-ci-gen-job-lint-linux-x86_64: | |
| name: Lint (linux, x86_64) | |
| runs-on: | |
| - self-hosted | |
| - Linux | |
| steps: | |
| - 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.10.2 | |
| - 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 lint | |
| 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 }} | |
| enso-build-ci-gen-job-native-test-linux-x86_64: | |
| name: Native Rust tests (linux, x86_64) | |
| runs-on: | |
| - self-hosted | |
| - Linux | |
| steps: | |
| - 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.10.2 | |
| - 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 wasm test --no-wasm | |
| 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 }} | |
| enso-build-ci-gen-job-wasm-test-linux-x86_64: | |
| name: WASM tests (linux, x86_64) | |
| runs-on: | |
| - self-hosted | |
| - Linux | |
| steps: | |
| - 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.10.2 | |
| - 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 wasm test --no-native | |
| 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" |