Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Finish improvements to the CI configuration for documentation changes #9460

Merged
merged 6 commits into from
Nov 21, 2023

Commits on Nov 18, 2023

  1. Add bootstrap postjob to CI config

    Add a new job to the bootstrap.yml GitHub action config.
    This job succeeds if, and only if, all the other bootstrap
    jobs succeed.
    BinderDavid committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    60aa93d View commit details
    Browse the repository at this point in the history
  2. Do not run bootstrap CI jobs for documentation changes

    The approach was already introduced in haskell#9355 for the validate jobs.
    This commit introduces the same change also for the bootstrap jobs.
    BinderDavid committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    bec1284 View commit details
    Browse the repository at this point in the history
  3. Also ignore CONTRIBUTING.md and README.md in CI

    We do not run the entire CI suite for documentation changes.
    Previously, only changes which were restricted to the 'docs/'
    subdirectory were considered to be documentation changes.
    With this commit we also recognize changes to README.md and
    CONTRIBUTING.md as documentation changes.
    BinderDavid committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    bd21dc9 View commit details
    Browse the repository at this point in the history
  4. Document improved CI for documentation in CONTRIBUTING.md

    The CONTRIBUTING.md file now mentions that documentation changes
    do not waste expensive CI resources.
    BinderDavid committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    866fa07 View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2023

  1. Recognize all README.md in subdirs as documentation

    Expensive CI jobs should not run on changes which affect only
    README.md files.
    BinderDavid committed Nov 19, 2023
    Configuration menu
    Copy the full SHA
    36a32f4 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ecc5aa2 View commit details
    Browse the repository at this point in the history