CI/CD: Add a `package` job.

This commit is contained in:
Brian Smith 2021-04-09 16:08:10 -07:00
parent 0b7cbf2d32
commit 6c334a2cf5
2 changed files with 24 additions and 3 deletions

View File

@ -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

View File

@ -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/**/*",