Skip to content

tyche-institute/verify-aep-action

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 

Repository files navigation

verify-aep-action

A GitHub composite Action that wraps the EATF offline verifier so that downstream CI pipelines can assert their .aep evidence packages verify cleanly before they merge.

- uses: tyche-institute/verify-aep-action@v1
  with:
    path: ./evidence/   # default '.'  — walks recursively for *.aep

By default the Action fails the workflow step if any package fails verification. No network calls, no API keys — everything happens in the runner's filesystem.

Inputs

Input Default Meaning
path . Path to a single .aep file or a directory to walk.
mode batch One of single, batch, conformance.
tsa-trust-list (built-in) Colon-separated list of PEM files with pinned RFC 3161 TSA roots. Default: the verifier's built-in DigiCert anchor set.
json false If true, the verifier emits machine-readable JSON to stdout.
eatf-ref v0.1.4 Git ref of tyche-institute/eatf to install. Pin to a release tag for reproducibility.
node-version 20 Node.js version to install (Node 20 or later required).

Modes

  • singlepath must be a .aep file. Verifies one package; step exits non-zero on failure.
  • batch (default) — path is a directory walked recursively. Every .aep found is verified. Step exits non-zero if any package fails.
  • conformancepath is a test-vectors tree with valid/<vector>/package.aep and invalid/<vector>/package.aep subdirectories. Each vector's verify=true / verify=false outcome is compared against its verify-expected.txt; step exits non-zero on any contract mismatch.

Example: assert every package in a release artifact verifies

name: Verify evidence

on:
  pull_request:
    paths:
      - "evidence/**.aep"

jobs:
  verify:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: tyche-institute/verify-aep-action@v1
        with:
          path: ./evidence/

Example: assert a single produced package

      - uses: tyche-institute/verify-aep-action@v1
        with:
          mode: single
          path: ./build/attestation.aep

Example: run conformance against a custom vector set

      - uses: tyche-institute/verify-aep-action@v1
        with:
          mode: conformance
          path: ./my-vectors/

What this Action does NOT do

  • No sign-then-verify. Pair with the eatf-sign CLI directly in the workflow if you want to produce .aep packages from CI. This Action is verify-only by design.
  • No remote verification queries. All work happens on the runner. The Action never contacts api.eatf.eu or any registry.
  • No notification side effects. The Action does not post comments, status checks, or summaries. Use it inside a job that has its own annotation strategy.

Versioning

Tags use semver. @v1 is a moving tag that follows the latest v1.x.y release; pin to @v1.0.0 (or similar) for byte-identical builds.

The eatf-ref input lets you decouple Action version from verifier version: e.g., use the latest Action but pin to a specific EATF release.

License

Apache License 2.0. Composite Action: ~1 file of YAML; the heavy lifting is in tyche-institute/eatf.

About

GitHub composite Action that wraps eatf-verify. Drop into any pipeline to assert every .aep evidence package verifies cleanly before merging.

Resources

License

Stars

0 stars

Watchers

0 watching

Forks

Packages

 
 
 

Contributors