Pre-release 2023.12.17

[tardis-bot]

*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-2023.12.17 branch on tardis-bot/tardis.

$ git remote add tardis-bot [email protected]:tardis-bot/tardis.git
$ git fetch tardis-bot
$ git checkout tardis-bot/pre-release-2023.12.17
$ git add <file_1> <file_2> ...
$ git commit -m "<your_commit_message>"
$ git push tardis-bot HEAD:pre-release-2023.12.17

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

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (df439d8) 68.47% compared to head (a342377) 68.47%.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #2493   +/-   ##
=======================================
  Coverage   68.47%   68.47%           
=======================================
  Files         159      159           
  Lines       13854    13854           
=======================================
  Hits         9487     9487           
  Misses       4367     4367           

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

[tardis-bot]

*beep* *bop*

Hi, human.

The docs workflow has failed ❌

Click here to see the build log.