CI/CD: Add a package job.

briansmith · Apr 10, 2021 · 6c334a2 · 6c334a2
1 parent 0b7cbf2
commit 6c334a2
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -118,6 +118,23 @@ jobs:
       - run: |
           cargo doc --all-features
 
+  package:
+    # Don't run duplicate `push` jobs for the repo owner's PRs.
+    if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
+
+    runs-on: ubuntu-18.04
+
+    steps:
+      - uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+          profile: minimal
+
+      - uses: actions/checkout@v2
+
+      - run: cargo package
+
+
   test:
     # Don't run duplicate `push` jobs for the repo owner's PRs.
     if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository

diff --git a/Cargo.toml b/Cargo.toml
@@ -33,13 +33,17 @@ include = [
     "src/calendar.rs",
     "src/cert.rs",
     "src/der.rs",
-    "src/name.rs",
+    "src/end_entity.rs",
     "src/error.rs",
+    "src/name.rs",
+    "src/name/dns_name.rs",
+    "src/name/ip_address.rs",
+    "src/name/verify.rs",
     "src/signed_data.rs",
     "src/time.rs",
-    "src/trust_anchor_util.rs",
+    "src/trust_anchor.rs",
     "src/verify_cert.rs",
-    "src/webpki.rs",
+    "src/lib.rs",
 
     "src/data/**/*",