diff options
-rw-r--r-- | .github/workflows/rustdoc.yml | 2 | ||||
-rw-r--r-- | .github/workflows/tests.yml | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/rustdoc.yml b/.github/workflows/rustdoc.yml index 35c261d..9d5246d 100644 --- a/.github/workflows/rustdoc.yml +++ b/.github/workflows/rustdoc.yml @@ -16,7 +16,7 @@ jobs: - name: Generate doc run: | - cargo doc --no-deps + cargo doc --no-deps --examples echo "<meta http-equiv=\"Refresh\" content=\"0; url='juicebox_asm/index.html'\"/>" > target/doc/index.html - name: Upload doc to gh pages diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index c98d2fb..1c025c0 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -26,3 +26,6 @@ jobs: - name: Run tests run: cargo test --verbose + + - name: Run example tests + run: cargo test --examples --verbose |