New version: SimpleDiffEq v1.13.0 #14604
Workflow file for this run
This file contains hidden or 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
| # INSTRUCTIONS: To enable or disable this workflow, please go to | |
| # https://github.com/JuliaRegistries/General/actions/workflows/automerge_staging.yml | |
| # and click on the "···" button on the right-hand side. | |
| # Then click on "Enable workflow" or "Disable workflow". | |
| name: AutoMerge (staging) | |
| on: | |
| pull_request: | |
| # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request | |
| types: [opened, reopened, labeled, synchronize] | |
| # Make sure that the `GITHUB_TOKEN` only has read-only permissions | |
| # https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#permissions | |
| permissions: read-all | |
| # We have two jobs: | |
| # 1. AutoMerge_staging-regular: | |
| # This includes all PR runs except PR labels. | |
| # 2. AutoMerge_staging-label: | |
| # This only includes PR label runs. | |
| # It is important to keep this job separate. | |
| # If we don't keep this job separate, then any label action will override the main/regular | |
| # AutoMerge job with a "skipped" AutoMerge job, thus making it very difficult for PR authors | |
| # to view the CI logs (which they need to do if they e.g. want to figure out why `import MyPackageName` | |
| # failed during the AutoMerge run.) | |
| jobs: | |
| AutoMerge_staging-regular: | |
| # Run if: | |
| # - not from a PR event | |
| # - or it is from a PR event AND it is not from a fork AND we are not triggered by a label | |
| # Note: since the label contains a colon, we need to use a workaround like https://github.com/actions/runner/issues/1019#issuecomment-810482716 | |
| # for the syntax to parse correctly. | |
| if: "${{ github.event_name != 'pull_request' || (github.repository == github.event.pull_request.head.repo.full_name && (github.event.action != 'labeled')) }}" | |
| timeout-minutes: 60 | |
| runs-on: ${{ matrix.os }} | |
| concurrency: | |
| # Skip intermediate builds: always. | |
| # Cancel intermediate builds: only pull request builds | |
| group: automerge-staging-${{ github.ref }} | |
| cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }} | |
| strategy: | |
| matrix: | |
| version: | |
| - '1.12' | |
| os: | |
| - ubuntu-latest | |
| arch: | |
| - x64 | |
| steps: | |
| - uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0 | |
| - uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2.6.1 | |
| with: | |
| version: ${{ matrix.version }} | |
| # No Project/Manifest for staging run | |
| - run: rm -rf .ci/AutoMerge/JuliaManifest*.toml | |
| - run: rm -rf .ci/AutoMerge/Manifest*.toml | |
| - run: rm -rf .ci/AutoMerge/JuliaProject*.toml | |
| - run: rm -rf .ci/AutoMerge/Project*.toml | |
| - name: Cache artifacts | |
| uses: julia-actions/cache@d10a6fd8f31b12404a54613ebad242900567f2b9 # v2.1.0 | |
| - run: julia --color=yes -e 'import Pkg; Pkg.Registry.add("General")' | |
| env: | |
| JULIA_PKG_SERVER: "" | |
| - run: julia --color=yes -e 'import Pkg; Pkg.Registry.update()' | |
| - run: .ci/instantiate.sh .ci/AutoMerge/ | |
| - run: | | |
| import Pkg | |
| name = "AutoMerge" | |
| uuid = "c5732277-7834-41e3-8e1f-5f375898cfe1" | |
| rev = "master" | |
| subdir = "AutoMerge" | |
| url = "https://github.com/JuliaRegistries/RegistryCI.jl" | |
| Pkg.add(; name, uuid, rev, subdir, url) | |
| shell: julia --color=yes --project=.ci/AutoMerge/ {0} | |
| - run: julia --color=yes --project=.ci/AutoMerge/ -e 'import Pkg; Pkg.update()' | |
| - run: julia --color=yes --project=.ci/AutoMerge/ -e 'import Pkg; Pkg.precompile()' | |
| - name: AutoMerge.check_pr | |
| env: | |
| AUTOMERGE_GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| JULIA_DEBUG: RegistryCI,AutoMerge | |
| run: | | |
| using AutoMerge | |
| config = AutoMerge.general_registry_config() | |
| registry_config = | |
| AutoMerge.RegistryConfiguration(config.registry_config; read_only=true) | |
| AutoMerge.check_pr(registry_config, config.check_pr_config) | |
| shell: julia --color=yes --project=.ci/AutoMerge/ {0} | |
| AutoMerge_staging-label: | |
| # Run this job only if ALL of the following conditions are true: | |
| # 1. It is from a PR event, AND | |
| # 2. The PR is not from a fork, AND | |
| # 3. We are being triggered by a label, AND | |
| # 4. The label is one that affects the execution of the workflow | |
| # Note: since the label contains a colon, we need to use a workaround like https://github.com/actions/runner/issues/1019#issuecomment-810482716 | |
| # for the syntax to parse correctly. | |
| if: "${{ (github.event_name == 'pull_request') && (github.repository == github.event.pull_request.head.repo.full_name) && (github.event.action == 'labeled') && (github.event.label.name == 'Override AutoMerge: name similarity is okay' || github.event.label.name == 'Override AutoMerge: package author approved') }}" | |
| timeout-minutes: 60 | |
| runs-on: ${{ matrix.os }} | |
| concurrency: | |
| # Skip intermediate builds: always. | |
| # Cancel intermediate builds: only pull request builds | |
| group: automerge-staging-${{ github.ref }} | |
| cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }} | |
| strategy: | |
| matrix: | |
| version: | |
| - '1.12' | |
| os: | |
| - ubuntu-latest | |
| arch: | |
| - x64 | |
| steps: | |
| - uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0 | |
| - uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2.6.1 | |
| with: | |
| version: ${{ matrix.version }} | |
| # No Project/Manifest for staging run | |
| - run: rm -rf .ci/AutoMerge/JuliaManifest*.toml | |
| - run: rm -rf .ci/AutoMerge/Manifest*.toml | |
| - run: rm -rf .ci/AutoMerge/JuliaProject*.toml | |
| - run: rm -rf .ci/AutoMerge/Project*.toml | |
| - name: Cache artifacts | |
| uses: julia-actions/cache@d10a6fd8f31b12404a54613ebad242900567f2b9 # v2.1.0 | |
| - run: julia --color=yes -e 'import Pkg; Pkg.Registry.add("General")' | |
| env: | |
| JULIA_PKG_SERVER: "" | |
| - run: julia --color=yes -e 'import Pkg; Pkg.Registry.update()' | |
| - run: .ci/instantiate.sh .ci/AutoMerge/ | |
| - run: | | |
| import Pkg | |
| name = "AutoMerge" | |
| uuid = "c5732277-7834-41e3-8e1f-5f375898cfe1" | |
| rev = "master" | |
| subdir = "AutoMerge" | |
| url = "https://github.com/JuliaRegistries/RegistryCI.jl" | |
| Pkg.add(; name, uuid, rev, subdir, url) | |
| shell: julia --color=yes --project=.ci/AutoMerge/ {0} | |
| - run: julia --color=yes --project=.ci/AutoMerge/ -e 'import Pkg; Pkg.update()' | |
| - run: julia --color=yes --project=.ci/AutoMerge/ -e 'import Pkg; Pkg.precompile()' | |
| - name: AutoMerge.check_pr | |
| env: | |
| AUTOMERGE_GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| JULIA_DEBUG: RegistryCI,AutoMerge | |
| run: | | |
| using AutoMerge | |
| config = AutoMerge.general_registry_config() | |
| registry_config = | |
| AutoMerge.RegistryConfiguration(config.registry_config; read_only=true) | |
| AutoMerge.check_pr(registry_config, config.check_pr_config) | |
| shell: julia --color=yes --project=.ci/AutoMerge/ {0} |