-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #165 from JuliaReach/schillic/ci
Revise CI scripts
- Loading branch information
Showing
11 changed files
with
145 additions
and
111 deletions.
There are no files selected for viewing
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,21 +1,30 @@ | ||
| # https://github.com/JuliaRegistries/CompatHelper.jl | ||
| name: CompatHelper | ||
|
|
||
| on: | ||
| schedule: | ||
| - cron: '00 00 * * *' | ||
| - cron: '0 0 * * *' # every day at midnight | ||
| workflow_dispatch: | ||
|
|
||
| jobs: | ||
| CompatHelper: | ||
| runs-on: ubuntu-latest | ||
| steps: | ||
| - uses: julia-actions/setup-julia@latest | ||
| - name: Check if Julia is already available | ||
| id: julia_in_path | ||
| run: which julia | ||
| continue-on-error: true | ||
| - name: Set up Julia if not already available | ||
| uses: julia-actions/setup-julia@v1 | ||
| with: | ||
| version: '1' | ||
| - name: Pkg.add("CompatHelper") | ||
| run: julia -e 'using Pkg; Pkg.add("CompatHelper")' | ||
| - name: CompatHelper.main() | ||
| arch: ${{ runner.arch }} | ||
| if: steps.julia_in_path.outcome != 'success' | ||
| - name: Install CompatHelper | ||
| run: julia -e 'import Pkg; Pkg.add("CompatHelper")' | ||
| - name: Run CompatHelper | ||
| run: | | ||
| julia -e 'import CompatHelper; | ||
| CompatHelper.main(; subdirs=["", "test", "docs"], | ||
| bump_compat_containing_equality_specifier=false)' | ||
| env: | ||
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | ||
| COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }} | ||
| run: julia -e 'using CompatHelper; CompatHelper.main(; subdirs=["", "test", "docs"], bump_compat_containing_equality_specifier=false)' |
This file was deleted.
Oops, something went wrong.
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,16 +1,16 @@ | ||
| # https://github.com/JuliaRegistries/TagBot | ||
| name: TagBot | ||
|
|
||
| on: | ||
| issue_comment: | ||
| types: | ||
| - created | ||
| workflow_dispatch: | ||
|
|
||
| jobs: | ||
| TagBot: | ||
| if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot' | ||
| runs-on: ubuntu-latest | ||
| steps: | ||
| - uses: JuliaRegistries/TagBot@v1 | ||
| - name: Create new release tag | ||
| uses: JuliaRegistries/TagBot@v1 | ||
| with: | ||
| token: ${{ secrets.GITHUB_TOKEN }} |
This file was deleted.
Oops, something went wrong.
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,26 @@ | ||
| # https://documenter.juliadocs.org/stable/man/hosting/#Cleaning-up-gh-pages | ||
| name: Doc preview cleanup | ||
| on: | ||
| pull_request_target: | ||
| types: [closed] | ||
| workflow_dispatch: | ||
| jobs: | ||
| doc-preview-cleanup: | ||
| runs-on: ubuntu-latest | ||
| steps: | ||
| - name: Checkout gh-pages branch | ||
| uses: actions/checkout@v4 | ||
| with: | ||
| ref: gh-pages | ||
| - name: Delete preview and history | ||
| run: | | ||
| if [ -d "previews/PR$PRNUM" ]; then | ||
| git config user.name "Documenter.jl" | ||
| git config user.email "[email protected]" | ||
| git rm -rf "previews/PR$PRNUM" | ||
| git commit -m "delete preview" | ||
| git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree}) | ||
| git push --force origin gh-pages-new:gh-pages | ||
| fi | ||
| env: | ||
| PRNUM: ${{ github.event.number }} |
24 changes: 15 additions & 9 deletions
24
.github/workflows/docs.yml → .github/workflows/documentation.yml
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,38 +1,44 @@ | ||
| # https://documenter.juliadocs.org/stable/man/hosting/#GitHub-Actions | ||
| name: Documentation | ||
|
|
||
| on: | ||
| push: | ||
| paths-ignore: | ||
| - 'LICENSE' | ||
| - 'README.md' | ||
| branches: | ||
| - master | ||
| tags: '*' | ||
| pull_request: | ||
| paths-ignore: | ||
| - 'LICENSE' | ||
| - 'README.md' | ||
|
|
||
| workflow_dispatch: | ||
| concurrency: | ||
| # cancel intermediate builds | ||
| group: ${{ github.workflow }}-${{ github.ref }} | ||
| cancel-in-progress: true | ||
| jobs: | ||
| build: | ||
| runs-on: ubuntu-latest | ||
| if: "!contains(github.event.head_commit.message, 'skip ci')" | ||
| env: | ||
| JULIA_PKG_SERVER: '' | ||
| steps: | ||
| - name: Check out repository | ||
| uses: actions/checkout@v4 | ||
| - name: Set up Julia | ||
| uses: julia-actions/setup-julia@latest | ||
| uses: julia-actions/setup-julia@v1 | ||
| with: | ||
| version: '1' | ||
| - name: Check out repository | ||
| uses: actions/checkout@v4 | ||
| - name: Cache artifacts | ||
| uses: julia-actions/cache@v1 | ||
| - name: Install dependencies | ||
| run: | | ||
| julia --project=docs/ -e 'using Pkg; | ||
| Pkg.develop(PackageSpec(path=pwd())); | ||
| Pkg.instantiate()' | ||
| Pkg.develop(PackageSpec(path=pwd())); | ||
| Pkg.instantiate()' | ||
| - name: Build and deploy | ||
| run: julia --project=docs/ docs/make.jl | ||
| env: | ||
| GKSwstype: nul # fix for Plots with GR backend | ||
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # authentication with GitHub Actions token | ||
| DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # authentication with SSH deploy key | ||
| run: julia --project=docs/ docs/make.jl |
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 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,45 +1,51 @@ | ||
| # https://github.com/julia-actions/julia-invalidations | ||
| name: Invalidations | ||
|
|
||
| on: | ||
| pull_request: | ||
| paths-ignore: | ||
| - 'LICENSE' | ||
| - 'README.md' | ||
|
|
||
| workflow_dispatch: | ||
| concurrency: | ||
| # Skip intermediate builds: always. | ||
| # Cancel intermediate builds: always. | ||
| # cancel intermediate builds | ||
| group: ${{ github.workflow }}-${{ github.ref }} | ||
| cancel-in-progress: true | ||
|
|
||
| jobs: | ||
| evaluate: | ||
| # Only run on PRs to the default branch. | ||
| # In the PR trigger above branches can be specified only explicitly whereas this check should work for master, main, or any other default branch | ||
| if: github.base_ref == github.event.repository.default_branch | ||
| runs-on: ubuntu-latest | ||
| if: "!contains(github.event.head_commit.message, 'skip ci')" | ||
| env: | ||
| JULIA_PKG_SERVER: '' | ||
| steps: | ||
| - uses: julia-actions/setup-julia@v1 | ||
| with: | ||
| version: '1' | ||
|
|
||
| - uses: actions/checkout@v4 | ||
| - uses: julia-actions/julia-buildpkg@v1 | ||
| - uses: julia-actions/julia-invalidations@v1 | ||
| id: invs_pr | ||
|
|
||
| - uses: actions/checkout@v4 | ||
| with: | ||
| ref: ${{ github.event.repository.default_branch }} | ||
| - uses: julia-actions/julia-buildpkg@v1 | ||
| - uses: julia-actions/julia-invalidations@v1 | ||
| id: invs_default | ||
|
|
||
| - name: Report invalidation counts | ||
| run: | | ||
| echo "Invalidations on default branch: ${{ steps.invs_default.outputs.total }} (${{ steps.invs_default.outputs.deps }} via deps)" >> $GITHUB_STEP_SUMMARY | ||
| echo "This branch: ${{ steps.invs_pr.outputs.total }} (${{ steps.invs_pr.outputs.deps }} via deps)" >> $GITHUB_STEP_SUMMARY | ||
| - name: Check if the PR does increase number of invalidations | ||
| if: steps.invs_pr.outputs.total > steps.invs_default.outputs.total | ||
| run: exit 1 | ||
| - name: Set up Julia | ||
| uses: julia-actions/setup-julia@v1 | ||
| with: | ||
| version: '1' | ||
| # current branch | ||
| - name: Check out repository in current branch | ||
| uses: actions/checkout@v4 | ||
| - name: Cache artifacts | ||
| uses: julia-actions/cache@v1 | ||
| - name: Build package in current branch | ||
| uses: julia-actions/julia-buildpkg@v1 | ||
| - name: Count invalidations in current branch | ||
| uses: julia-actions/julia-invalidations@v1 | ||
| id: invs_branch | ||
| # default branch | ||
| - name: Check out repository in default branch | ||
| uses: actions/checkout@v4 | ||
| with: | ||
| ref: ${{ github.event.repository.default_branch }} | ||
| - name: Build package in default branch | ||
| uses: julia-actions/julia-buildpkg@v1 | ||
| - name: Count invalidations in default branch | ||
| uses: julia-actions/julia-invalidations@v1 | ||
| id: invs_default | ||
| # aggregate results | ||
| - name: Report invalidation counts | ||
| run: | | ||
| echo "Invalidations on default branch: ${{ steps.invs_default.outputs.total }} (${{ steps.invs_default.outputs.deps }} via deps)" >> $GITHUB_STEP_SUMMARY | ||
| echo "Invalidations on this branch: ${{ steps.invs_branch.outputs.total }} (${{ steps.invs_branch.outputs.deps }} via deps)" >> $GITHUB_STEP_SUMMARY | ||
| - name: Check whether branch increases invalidations | ||
| if: steps.invs_branch.outputs.total > steps.invs_default.outputs.total | ||
| run: exit 1 |
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,18 @@ | ||
| # https://github.com/crate-ci/typos | ||
| name: Spell check | ||
| on: | ||
| pull_request: | ||
| workflow_dispatch: | ||
| concurrency: | ||
| # cancel intermediate builds | ||
| group: ${{ github.workflow }}-${{ github.ref }} | ||
| cancel-in-progress: true | ||
| jobs: | ||
| spell-check: | ||
| runs-on: ubuntu-latest | ||
| if: "!contains(github.event.head_commit.message, 'skip ci')" | ||
| steps: | ||
| - name: Check out repository | ||
| uses: actions/checkout@v4 | ||
| - name: Check spelling | ||
| uses: crate-ci/typos@master |
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 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