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

Cancel superseded GitHub workflows #198

Merged
merged 1 commit into from
Oct 2, 2024
Merged

Commits on Sep 30, 2024

  1. Cancel superseded GitHub workflows

    This serves two purposes:
    
    - cuts costs by canceling CI when pull requests are updated
    - prevents issues when releasing after pull requests are merged
    
    Elaborating on that second point, two pull requests are merged, so two
    release-image workflows are started as a result. The earlier one takes
    longer to run, however, and mutates the 'latest' tag last. This is a
    great example of the dangers of mutability.
    crawford committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    bdeb7f3 View commit details
    Browse the repository at this point in the history