panoply/.github/workflows/e2e.yml at main · hyperpolymath/panoply · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
# This workflow is managed by gh actions-lock.
# SPDX-License-Identifier: MPL-2.0
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
#
# E2E + aspect + spec gates. Zig is installed from the official tarball
# (no extra Actions). Idris2 is not assumed on the runner.

name: E2E + Aspect + Bench
on:
  push:
    branches: [main, master, develop]
    paths:
      - 'src/**'
      - 'ffi/**'
      - 'tests/**'
      - 'verification/**'
      - '.github/workflows/e2e.yml'
  pull_request:
    branches: [main, master]
    paths:
      - 'src/**'
      - 'ffi/**'
      - 'tests/**'
      - 'verification/**'
  workflow_dispatch:
permissions: read-all
concurrency:
  group: e2e-${{ github.ref }}
  cancel-in-progress: true
jobs:
  aspect-tests:
    name: Aspect — Architectural Invariants
    runs-on: ubuntu-latest
    timeout-minutes: 10
    steps:
      - uses: actions/checkout@v7.0.1
      - run: bash tests/aspect_tests.sh
      - run: bash tests/core_spec.sh
      - run: bash tests/evidence_spec.sh
      - run: bash tests/manifest_spec.sh
      - run: bash tests/backend_spec.sh
      - run: bash tests/projection_spec.sh

  e2e-zig:
    name: E2E — Zig FFI
    runs-on: ubuntu-latest
    timeout-minutes: 15
    steps:
      - uses: actions/checkout@v7.0.1
      - name: Install Zig 0.15.1
        run: |
          set -euo pipefail
          curl -fsSL -o /tmp/zig.tar.xz \
            https://ziglang.org/download/0.15.1/zig-x86_64-linux-0.15.1.tar.xz
          tar -xJf /tmp/zig.tar.xz -C /tmp
          echo "/tmp/zig-x86_64-linux-0.15.1" >> "$GITHUB_PATH"
      - run: zig version
      - run: bash tests/e2e.sh
      - run: bash tests/p2p.sh
      - run: cd src/api/zig && zig test adapter.zig