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

build: run doctests #7697

Merged
merged 2 commits into from
May 10, 2024
Merged

build: run doctests #7697

merged 2 commits into from
May 10, 2024

Conversation

koivunej
Copy link
Member

@koivunej koivunej commented May 10, 2024

While switching to use nextest with the repository in f28bdb6, we had not noticed that it doesn't yet support running doctests. Run the doc tests before other tests.

@koivunej koivunej requested a review from problame May 10, 2024 12:35
@koivunej
Copy link
Member Author

Upstream issue and guidance: nextest-rs/nextest#16

@koivunej koivunej marked this pull request as ready for review May 10, 2024 12:43
@koivunej koivunej enabled auto-merge (squash) May 10, 2024 12:50
Copy link

3024 tests run: 2891 passed, 0 failed, 133 skipped (full report)


Flaky tests (1)

Postgres 16

  • test_vm_bit_clear_on_heap_lock: debug

Code coverage* (full report)

  • functions: 31.4% (6323 of 20136 functions)
  • lines: 47.3% (47650 of 100778 lines)

* collected from Rust tests only


The comment gets automatically updated with the latest test results
691a4c2 at 2024-05-10T13:21:20.003Z :recycle:

@koivunej koivunej disabled auto-merge May 10, 2024 14:22
@koivunej koivunej enabled auto-merge (squash) May 10, 2024 14:23
@koivunej koivunej merged commit 6206f76 into main May 10, 2024
58 checks passed
@koivunej koivunej deleted the joonas/build_run_doctests branch May 10, 2024 14:46
a-masterov pushed a commit that referenced this pull request May 20, 2024
While switching to use nextest with the repository in f28bdb6, we had
not noticed that it doesn't yet support running doctests. Run the doc
tests before other tests.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants