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

Pre-release 2024.05.19 #2620

Closed

Conversation

tardis-bot
Copy link
Contributor

*beep* *bop*

Hi, human.

I prepared everything for a new TARDIS release.


⚠️ WARNING:

This pull request should be auto-merged. Do not merge manually if any check fails.

Instead, disable auto-merge and push your fixes to the pre-release-2024.05.19 branch on tardis-bot/tardis.

$ git remote add tardis-bot git@github.com:tardis-bot/tardis.git
$ git fetch tardis-bot
$ git checkout tardis-bot/pre-release-2024.05.19
$ git add <file_1> <file_2> ...
$ git commit -m "<your_commit_message>"
$ git push tardis-bot HEAD:pre-release-2024.05.19

Once all the checks pass, you can safely merge this pull request manually.

@epassaro epassaro enabled auto-merge (squash) May 19, 2024 00:27
@tardis-bot
Copy link
Contributor Author

*beep* *bop*

Hi, human.

The docs workflow has failed

Click here to see the build log.

Copy link

codecov bot commented May 19, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 67.21%. Comparing base (4317f54) to head (7a18d0b).

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #2620   +/-   ##
=======================================
  Coverage   67.21%   67.21%           
=======================================
  Files         173      173           
  Lines       14572    14572           
=======================================
  Hits         9794     9794           
  Misses       4778     4778           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

auto-merge was automatically disabled May 23, 2024 13:36

Pull request was closed

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.

None yet

3 participants