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

BCI repo publisher: also trigger a rebuild of devel:BCI:$VERSION #3023

Open
wants to merge 4 commits into
base: master
Choose a base branch
from

Commits on Oct 27, 2023

  1. [BCIRepoPublisher] Add type hints

    and correct the docstring of is_repo_published
    dcermak committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    04a6191 View commit details
    Browse the repository at this point in the history
  2. [BCIRepoPublisher] fail if mtime is not in /binarylist/binary

    Unlikely, but who knows ¯\_(ツ)_/¯
    dcermak committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    2f60f48 View commit details
    Browse the repository at this point in the history
  3. [BCIRepoPublisher] Simplify packages list creation in run()

    The current version is iterating twice over the package list, but that is not
    necessary. The list can be assembled in a single pass, making it more obvious
    what is happening.
    dcermak committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    42c86f2 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    de1d827 View commit details
    Browse the repository at this point in the history