Treat WithWarnings via dedicated @Specialization #25000
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: startsWith(runner.name, 'GitHub Actions') || startsWith(runner.name, 'Hosted Agent') | |
| name: Installing wasm-pack | |
| uses: jetli/[email protected] | |
| 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 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" |