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

Update GitHub actions #9920

Merged
merged 8 commits into from
Nov 24, 2023
Merged

Update GitHub actions #9920

merged 8 commits into from
Nov 24, 2023

Conversation

Al2Klimov and others added 8 commits November 24, 2023 17:26
In a PR one top commit replaces the previous one.
But the central branches are more like timelines.
It's nice to have red crosses in a such timeline
as clear indicators that something was actually broken.
not to have to update ./AUTHORS or .mailmap after merging.
We should use `$Global:ProgressPreference = 'SilentlyContinue';` to disable the progress bar during download.
By doing so, information are directly written to the disk instead of written inside the memory and dumped to the disk afterwards
@Al2Klimov Al2Klimov added the area/ci CI/CD label Nov 24, 2023
@cla-bot cla-bot bot added the cla/signed label Nov 24, 2023
@icinga-probot icinga-probot bot added this to the 2.13.9 milestone Nov 24, 2023
@Al2Klimov Al2Klimov merged commit f483d37 into support/2.13 Nov 24, 2023
25 checks passed
@Al2Klimov Al2Klimov deleted the gha2139 branch November 24, 2023 18:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants